Hey, I have been running bare metal program on "mcimx7d-sabre" and I have a
weird behavior that doesn't occur on a real hardware or at least I can't
reproduce it on real hardware.

I'm running a basic program that registers interrupt for serial, and then
running in an infinite loop that formatting a string with vsnprintf, in the
ISR I have disabled IRQ Interrupts (CPSID I) handled the interrupt and
enabled IRQ Interrupts (CPISE I). After a while a data abort happens in the
strlen with arg pointer as NULL that called in vsnprintf. When I run the
same code but without the disable/enable IRQ everything works fine. You
have any idea why does it happen?