x86: split cpuinfo from setup_64.c into cpu/proc_64.c