[coreboot-gerrit] Change in coreboot[master]: hp/compaq_8200_elite: Fix TPM not visible in OS