[coreboot-gerrit] Patch set updated for coreboot: c00c31e southbridge/amd/pi: write_hpet requires additional config option