[coreboot] Patch set updated for coreboot: 4d4a351 haswell: resource allocation