Comply with updated x86cpuid.pl.