pub const FICR_INFO_FLASH_FLASH_K128: u32 = 128;