I am having trouble getting a ultra high speed (UHS-I) SD card, a Sandisk Extreme Pro, to operate at 40 MHz using the SDSPI interface. When initializing the SD card using sdspi and then printing the card speed, it is always set to 20 MHz even when I initialize it to 40 MHz. The card works fine at 20...