If WITH_LIB_SM is set, call sm_handle_fiq instead of sm_handle_irq from platform_fiq. This is needed to allow sm_handle_irq to wake up a thread instead of switching back to ns from the interrupt handler. Change-Id: Idc728343bc31c07a3149d68730bd57ee28be08f8