[coreboot] New patch to review for coreboot: 30cb6c7 rework RTC driver output to make it more consistent.