How does it run compared to stock?
If I try it and would like to go back to stock, I just flash the whole ROM again?
I haven't made kernel changes in awhile. So it should still work fine.
The easiest way back to stock would be as you said, just reflash the ROM.
Sent from my Galaxy Nexus using RootzWiki