ivory-bsp-stm32f4: add some comments, remove some dead code
spi driver: some fixes and a test for multiple devices
ivory-bsp-stm32f4: spi baud divider calculated correctly, spidevices have names