E407/hal.c: including contiki/hal.c is no longer ugly ...

... since we now make sure we generate it in time.
E407/hal.c: correct NVIC channel and name of interrupt handler