Fix typo in kernel.mk

Change-Id: I4f5b9424847c22ddeeba3d4c9429bd5a568a4ab3