(even though the kernel appears to detect the external MMC first and then the internal one, so udev effectively swaps the slot numbers).