kernel.mk: Handle the x86_64 LINUX_KARCH case