[coreboot] New patch to review for coreboot: d5dad6a Add missing HAVE_HARD_RESET