Very long boot time on my Galaxy Nexus
My Galaxy Nexus (I9250, GSM version) with Android 4.02 definitely doesn't take that long to boot.

Just switched mine off to test, and from off it takes just under a minute to get to the SIM card PIN unlock code screen (and after entering my PIN it goes straight to the pattern lock with my normal wallpaper).