A simple CPUID decoder/dumper for x86/x86_64