Waldemar Brodkorb 803b9757e0 remove kernel choice, always use 64 bit for 64bit target 10 anni fa
..
qemu-ppc64 803b9757e0 remove kernel choice, always use 64 bit for 64bit target 10 anni fa