Allow the kernel to be built on a Linux host.