[coreboot-gerrit] Patch set updated for coreboot: 058755b hp/dl145_g1: Add HAVE_HARD_RESET