[coreboot-gerrit] Patch set updated for coreboot: f15a86f rambi: Update the DPTF configuration