prebuilt: Add in kernel prebuilts