E407/: rename hal.c to hal-gpio.c
E407/hal-spi.c: HAL that uses the F400's SPI interface