Yes, something wrong about the FileSystem (I don't remember exactly what) and also, lots of line like "Can't load xxxxxxxxx.kext" and "Can't alloc ...."
@Rockball, you're encountering the same problems? @Monkeys, the DSDT mod is for graphic glitches, there's nothing you can change in the DSDT to make USB3 ports functional because apple hardware has no USB3 ports yet. I guess it would be possible to change them to appear like USB2 but i'm not sure it will accomplish something. The SSDTs tables are the ones that may do something for it. In my case, with them i don't KP when i use the USB3 port, i didn't find exactly what code is fixing it.. but i assume it's related to the power (?) section. Something i noticed, USB2 Hubs won't work at all in USB3 ports.
Concerning the USB3 ports, I'll give it a try with other SSDT tables to see if I get any improvements... Because even with the new PXHCD from M.B.ast. 4.3.2, I can't get it working.
I edited my last PM to you DoiX, about the 10.7.4 problem and the USB3 issues...