Update prebuilt kernel to 3.0.72