update prebuilt kernel definiation