Completed NVIC functions for MKL25z Contiki port.  Code currently UNTESTED.