Update prebuilt kernel
Add some changes from grouper kernel trying to make boot work