Waldemar Brodkorb 803b9757e0 remove kernel choice, always use 64 bit for 64bit target преди 10 години
..
files 261f7f6219 two leftovers from early commits преди 15 години
Makefile 803b9757e0 remove kernel choice, always use 64 bit for 64bit target преди 10 години