This is not at all wrong and should do what it is intended for: map the mmc
device numbers from U-Boot in a way that the kernel can assign a different
order (and it does!).
Now how can they have the same UUID? It should be unique, shouldn't it?
And there, we have nice UUIDs!