CFG_TEE_CORE_LOG_LEVEL=0 DEBUG=0 is now up in Travis

Signed-off-by: Pascal Brand <pascal.brand@st.com>
This function is actually expected to return. It's supposed to reenable irq if the abort was received while irq was enabled.