ivory-bsp-stm32f4 uart: still borked but higher priority helps some