pub const TBS_TCGLOG_DRTM_BOOT: u32 = 4u32;