Use a simpler assembly sequence for host_cpuid()