KERNEL_ARCH specifies the kernel architecture, not TARGET_ARCH. Change-Id: I97407caa15cacf53489e8ebb31f5c059991a9493