[coreboot] Patch merged into coreboot/master: 30cb6c7 rework RTC driver output to make it more consistent.