[coreboot-gerrit] New patch to review for coreboot: google/reef: Fix config options for TPM