include the kernel as prebuilt for now