ivory-bsp-stm32f4: spi driver more idiomatic