Fix typo in a comment in cpuid.h (PR target/79155).