cbiffle stm32f4/gpio: update to current conventions.
This uses the same idioms as the DMA driver, which feel closer to being
right.
Latest commit 33fb6d8 Dec 6, 2016