As Jan said, it is not a bug: just change the OS Installation option in the BIOS to "Finished" and your SD reader will work fine.
As Jan said, it is not a bug: just change the OS Installation option in the BIOS to "Finished" and your SD reader will work fine.