Right, there is some bug in the rk3399 mmc driver in u-boot. https://marc.info/?l=u-boot&m=165684945826950&w=2 No solution is known.