switch to new kernel

Change-Id: If2d0721aada13033cce59da972ae275f95080f60