Relocated */arch/x86_64 to */arch/intel/x86_64 for easier code sharing