Corrected path to prebuilt kernel