Update kernel prebuild

Change-Id: I4489050db5e125982a782f4db64a709e1e9cf5da