Comment 6 for bug 1514821

I've updated the BIOS to version A08

tud254222 ~$ sudo dmidecode -s bios-version && sudo dmidecode -s bios-release-date
A08
10/19/2015

... but it does not address the issue: The SD card still cannot be found, even after taking it out and re-inserting.
Same messages in dmesg as previously noted:

tud254222 ~$ dmesg | grep mmc0
[ 0.920781] mmc0: Unknown controller version (3). You may experience problems.
[ 0.928195] mmc0: SDHCI controller on PCI [0000:01:00.0] using ADMA
[ 1.183928] mmc0: tuning execution failed
[ 1.183932] mmc0: error -5 whilst initialising SD card
[ 1.452122] mmc0: tuning execution failed
[ 1.452126] mmc0: error -5 whilst initialising SD card
[ 1.728307] mmc0: tuning execution failed
[ 1.728310] mmc0: error -5 whilst initialising SD card
[ 2.024476] mmc0: tuning execution failed
[ 2.024480] mmc0: error -5 whilst initialising SD card
[ 81.325296] mmc0: tuning execution failed
[ 81.325300] mmc0: error -5 whilst initialising SD card
[ 81.637547] mmc0: tuning execution failed
[ 81.637551] mmc0: error -5 whilst initialising SD card
[ 81.961674] mmc0: tuning execution failed
[ 81.961679] mmc0: error -5 whilst initialising SD card

I've retested with the same kernels as in post #4, no change in behaviour of the SD card.