AndroidKernel.mk updated