Current interrupt code (used by the emulated Secure Enclave) is very hacky. To ensure proper behaviour, the KIC must be implemented proper.