Hello,
To change the speed of the MMC, it would be possible through the device tree and the config of the kernel. But for the boot, it will have to be set through a fuse in BOOT_CFG => MMC Speed Mode(CFG[3:2]), where:
00 - Normal
01 - High
Hope it helps!
BR,
Ivan.