get register names from x86_cpu.h