Source: http://www.android.gs/update-galaxy-nexus-to-android-4-0-with-android-revolution-hd-custom-rom-firmware/