mk: fixes to platform restrictions
ivory-bsp-stm32f4: correct implementation of *interrupt_set_priority*

* largely a substitute of shiftR (incorrect) to shiftL
ivory-bsp-stm32f4: correct uart interrupt priority