x64 is handled by the x86 architecture in Linux, add a case for it in LINUX_KARCH. Signed-off-by: Maxime Ripard <maxime.ripard@free-electrons.com> SVN-Revision: 43672