Problem when testing the "ex_isr" example on an ARMv7 Cortex-A9 based board.