pub const FICR_INFO_FLASH_FLASH_K512: u32 = 512;