Initial Stm32f4 spi driver

throw this out -> the `spi_transmission_begin()` should be called from the application code, in a callback registered with `gpio_init_int(..., cb)`.