initial support for interruptions (stm32f4 only), must be backported to the api