taoshan: Add a prebuilt kernel