In any case, here's my question, more of a general one. Last night I tried flashing the Faux Kernel and got an error with TWRP 126.96.36.199. In the end, there was an error with the file system, and I wasn't able to see the file system from the device, or when connected to a PC. I ended up just running through a list of commands via cmd adb to revert to stock. Anyone know what the problem might have been? I got a /cache error.
If not, don't sweat it, I'm sure they'll get whatever kink it was worked out.