[zaphod24]

Possibly silly question since I was on holiday for a week and missed all of those builds... Is the sdhost driver the default for the SD card now, ie should dtoverlay=sdhost be removed from config.txt? How do we know if we're using the new faster driver? I have the following now in dmesg:

[ 1.372836] sdhci-pltfm: SDHCI platform and OF driver helper
[ 1.425137] mmc0: new high speed SDHC card at address 59b4
[ 1.425645] mmcblk0: mmc0:59b4 SDU16 14.9 GiB

Before there was something explicit about the new driver.