We want to build the kernel, not copy in the prebuilt. This is no longer needed