[BPI-R3][BPI-R4] Can the clock to the sd card be increased?

Hi,

I have an sd card that does about 100MBytes/sec when plugged into a usb-c sd card adapter on a laptop, but then only gets 18MBytes/sec when plugged into a BPI-R3/R4. Tested with "hdparm -tT /dev/[sd card device name]

Can the sd card clock be increased to maybe made the sdcard reader faster?

If not, I suggest this feature added to future BPI designs.

You can try increasing speed in the devicetree overlay, but this requires recompile of the fit.

A better way would be only booting till uboot from mmc/nand/nor and then switching to nvme for the productive system