update prebuilt kernel definition