[PATCH] tpm_bios indexing fix