[coreboot] [coreboot - Bug #582] failure to boot after using haswell nri