pios stm32f4xx: added ChibiOS IRQ prologue and epilogue macros