Update AndroidKernel.mk