[coreboot] Patch merged into coreboot/master: 6e3b7ce inteltool: Add output of 64bit registers in PMBASE