Jetpack 4.5.1 Dev Kit SD Card

I flashed my Jetson TX2 with the new Jetpack 4.5.1.
Before the flash i was able to use the SD Card slot on the dev kit carrier.
After the flash I was not able to read multiple SD Cards with the onboard SD card slot.

Has anyone else also this behavior?

Could you paste the dmesg for us to check?

What if you flash back to jp4.5 or jp4.4.1? Will the sdcard slot back to life?

I got the slot working again though a reflash with 4.5.1.
Maybe it was a temporary bug or something.