[coreboot] Patch merged into coreboot/master: c12ef97 haswell: resource allocation