x86: Merge the x86_32 and x86_64 cpu_idle() functions