Thomas, could you boot into a kernel from Trusty (3.13.x) to see if this would allow your SD card to work?
Thomas, could you boot into a kernel from Trusty (3.13.x) to see if this would allow your SD card to work?