[coreboot-gerrit] Change in coreboot[master]: mb/google/octopus: Select TPM options only if mocktpm is not selected