kernel:update prebuilt kernel definition