pub const TBS_TCGLOG_SRTM_BOOT: u32 = 2u32;