>
> [ 2571.527346] dwmmc_k3 f723e000.dwmmc1: failed to set rate 0Hz
> [ 2571.547337] dwmmc_k3 f723e000.dwmmc1: failed to set rate 400000Hz
> [ 2571.570917] dwmmc_k3 f723e000.dwmmc1: failed to set rate 400000Hz
> [ 2571.573227] dwmmc_k3 f723e000.dwmmc1: failed to set rate 400000Hz
> [ 2571.588534] dwmmc_k3 f723e000.dwmmc1: failed to set rate 400000Hz
> [ 2571.590143] dwmmc_k3 f723e000.dwmmc1: failed to set rate 0Hz
>
> And the microSD card is not discovered. Absent the USB-ethernet
> dongle, it works ok.
> Has anyone encountered this error, and has any suggestion how it could be fixed?
known issue. Bintian is supposed to look that.