[coreboot] New patch to review for coreboot: ed0ebd2 i3100: Add HAVE_HARD_RESET