update prebuilt kernel defination