cortexelf-v1: Bump SPI pin speed to 40MHz to for sdcard. Fix VGA DMA.