[coreboot] New patch to review for coreboot: 6e3b7ce inteltool: Add output of 64bit registers in PMBASE