The arm_cp15_set_exception_handler() is a complicated function which should be avoided if possible. Update #4202.
This avoids a function call overhead in the interrupt dispatching. Update #4202.