[Bug 349895] Plain domU kernel cannot be compiled on/for x86-64 systems