GPIO: rename IN, OUT, ... to gpio_in, gpio_out, etc.

This also resolves the near miss SET vs. SET(id)
Contiki/eui64.c: split off platform-dependent part
SPI: also move the prescaler to initialization

This eliminates the last use of platform.h in spi-stm32.c
E407: update platform.h for recent SPI API changes