Add kernel.mk

Change-Id: I3375ba89ad80eaacc67a8d1c36a4268362b67a23