update AndroidKernel.mk