Tweak the kernel build script