[coreboot-gerrit] Patch merged into coreboot/master: mb/asus/kgpe-d16: Add TPM support