[coreboot-gerrit] Patch merged into coreboot/master: b86113f haswell: RESET_ON_INVALID_RAMSTAGE_CACHE option