Firmware fix allows it to work with updated kernel, but still need updates to firmware.
We need to verify which mode (ACPI/PCI) and which HID we will use in the release, and verify the OS and the firmware are working together.
Pulled in the broken card-detect in ACPI mode from Adrian. Resolved as of the 20140513 OS builds. http://git.yoctoproject.org/cgit/cgit.cgi/linux-yocto-3.14/commit/?h=standard/base&id=f9a28ab717c797d138b5a70a9e85ffdacd7bcab4
Closing.