Linux tool to dump x86 CPUID information about the CPUs
