Hi, sorry for the necropost, but seemed still relevant because the Galaxy Nexus is still viable with a custom rom.
So I did what you suggested, Zephyrprime; seems that it worked, so thanks for the great advice, and I made a very short howto on this:
https://www.youtube.com/watch?v=noPvCULL6mw...