Kernel: use prebuilt one.