ARM: Fix build when SEC_DEBUG_IRQ_EXIT_LOG is not set

Change-Id: I17d217b72274ee52307dc398269aa5d0acf8961b