[coreboot-gerrit] Patch merged into coreboot/master: dcea700 inteltool: Print raw CPUID and make hexadecimal values unambiguous