[coreboot-gerrit] Patch merged into coreboot/master: e1e87e0 haswell: Configure PCH power sharing for ULT