liblitesdcard/sdcard: (temporarily) slow down SDCARD_CLK_FREQ to 25MHz