[coreboot-gerrit] Patch set updated for coreboot: 3fe4814 haswell: keep ROM cache enabled