update kernel.mk

Change-Id: Ia702a1d94776fa6d71dd5c1badc817beac94aee9