grouper: update prebuilt kernel for kitkat