Fix AndroidKernel.mk one and for all