Add kernel.mk for inline kernel building

Change-Id: I2c4c4506aee3a242671b39fdc17d54fa6673cc04