Fix inline kernel building.  If your building for another device add a AndroidKernel.mk to your kernel
which can be seen in hammerhead branch history for kernel source and device tree modifications.

Signed-off-by: Paul Beeler <sparksco@gmail.com>

Conflicts:
	core/tasks/kernel.mk