F3-port: add aliases to NVIC IRQ numbers specific for F3