Waldemar Brodkorb 803b9757e0 remove kernel choice, always use 64 bit for 64bit target %!s(int64=12) %!d(string=hai) anos
..
files 261f7f6219 two leftovers from early commits %!s(int64=17) %!d(string=hai) anos
Makefile 803b9757e0 remove kernel choice, always use 64 bit for 64bit target %!s(int64=12) %!d(string=hai) anos