NMI handler is now in mbed_overrides.c