F3-port: use proper PIN identifiers in orone_mini_F3 board specs, use SPEED_HIGH PGIO config in spi_config_gpio, F3 GPIO peripheral has no SPEED_FAST.