tpm_bios.c: make 2 structs static