Updating to BIOS v1.09 did change the behavior of the bug, but didn't solve it. Initial SD card insertion produces this result in dmesg now:
[ 63.031558] sdb: detected capacity change from 16008609792 to 0
[ 65.038484] usb 2-1.3: USB disconnect, device number 3
[ 128.516612] mmc0: Timeout waiting for hardware interrupt.
...followed by repeating Timeout messages. The second insertion after a reboot simply results in more Timeout messages. It's encouraging to see the detected capacity (this is a 16 GB SD card I'm testing with).
Updating to BIOS v1.09 did change the behavior of the bug, but didn't solve it. Initial SD card insertion produces this result in dmesg now:
[ 63.031558] sdb: detected capacity change from 16008609792 to 0
[ 65.038484] usb 2-1.3: USB disconnect, device number 3
[ 128.516612] mmc0: Timeout waiting for hardware interrupt.
...followed by repeating Timeout messages. The second insertion after a reboot simply results in more Timeout messages. It's encouraging to see the detected capacity (this is a 16 GB SD card I'm testing with).
I'll test with the new kernel next.