pub const SOC_CPU_HAS_FLEXIBLE_INTC: u32 = 1;