Added prebuilt kernel binary