Short update: I managed to boot the GPi Case 2 and Recalbox without any problems. To be honest, I don't know what the reason was that it didn't work. I didn't really do anything different this time, except that I used the dock on the first boot. I don't know if that was really the problem. The fact is, everything works as it should, even without the dock.