Adding in prebuilt kernel