Merge "AndroidKernel.mk: Define the path where the kernel should be installed"