Build only x64 kernels