Initial Stm32f4 spi driver

This is something I have not considered in the current pin configurations so far and I think I agree with @fnack, that we should take this into account. Maybe we should also look into existing implementations of other low-level drivers?