linuxboot/config/tpmtotp.config