Build only the x86 kernels by default