[coreboot] Patch merged into coreboot/master: d5dad6a Add missing HAVE_HARD_RESET