Add support for the Arduino GIGA board, an STM32H747XI based development board in Arduino form factor, featuring external flash, SDRAM, Bluetooth and WiFi. Signed-off-by: Fabio Baltieri <fabiobaltieri@google.com>