I think this driver probably needs to move to PiOS/STM32F3xx and then lose this block