Re-add Prebuilt Kernel