Set TivaC SPI to 4MHz as per Wiring/Arduino standard
Add WiFiUdp.h to WiFi.h