Ja, der Wifi/BT Chip (bcm4325) hat unter anderem ein SDIO-Interface. Vermutlich gibts da im Treiber oder in der Firmware noch irgendeinen Bug.

Glaube nicht, dass die interne SD-Karte über SDIO angesprochen wird, das ist ja wie der Name schon sagt für I/O zuständig und nicht als Speicherkarte gedacht.