[ck] [PATCH 06/17] tpm: use u32 instead of int for PCR index