[coreboot-gerrit] Patch merged into coreboot/master: 5c015f0 southbridge/amd/pi: write_hpet requires additional config option