pub const FICR_INFO_FLASH_FLASH_K256: u32 = 256;