Switch to Prebuilt Kernel to save time