Fix Kernel

Change-Id: Ic1b2881ee5a001d6235facaa80b975a77c179af2