[coreboot-gerrit] Patch set updated for coreboot: c5df755 tpm: Add dummy _DSM to make Bitlocker happy.