@plaimbock @edvans Of course in the end the root cause was quite trivial: There are no pull-up resistors on the board and the default #RK3188 device tree configures the SD pins without pull-up.🙈
So enabling the internal ones solved all the problems.
What puzzles me is that it worked without pull-up resistors in the first place.🤔