Flush output in x86_64cpuid.pl.