[coreboot] Patch merged into coreboot/master: ed0ebd2 i3100: Add HAVE_HARD_RESET