[coreboot-gerrit] Patch merged into coreboot/master: 058755b hp/dl145_g1: Add HAVE_HARD_RESET