ResetISR() interrupt handler is added in system_MK60F12.c provisionally
in order to keep compatibility with OSEK. A deep analysis must be
performed about the content of this interrupt handler and the place
where it must be located.