kernel: Fix usage of KERNEL_ARCH

* x86_64 defconfigs live in arch/x86/configs
* Use KERNEL_ARCH instead of TARGET_KERNEL_ARCH

Change-Id: Idc191ea658fc4100bc7ad40958023c5f936daf44
1 file changed