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