Added new prebuilt kernel