Revert: Use the prebuilt kernel