ya. i usually left my mbp on the 9400 and noticed my machine was running a little hot like it would when i used the 9600. i checked my power prefs and saw i was on "higher performance".
that's when i checked system profiler and noticed i was in 64 bit mode and also my 9600 was online.
so if anyone is unaware of lion booting into a more powerful video mode, there you go if you are on battery and your battery life seems a bit less.