Thank you for your work. For Tegra 2 bug, maybe we can use Chainfire for emulate the same architecture?
For SdCard issue, i'm remember the same problem in the first 4.0.3 rom beta release (Drew garen, ect...) and a little tweak can mount Sdcard. I don't remerber the name, sorry.
Sorry for my bad french english
Nexus S black. ROM Stock Gingerbread GRK39F 2.3.6 - Kernel Trinity TUV@1Ghz - Rooted
Launcher Xpéria Arc Mod perso
Old smartphone: Toshiba TG01 - ROM Chdeul V1.5.1 Full