[coreboot-gerrit] New patch to review for coreboot: dbf105f southbridge/amd/pi: write_hpet requires additional config option