All looks as it should for this phase.
Kernel 3.4 working good along with gcc 4.7. gtkperf reads 4.7 for video speed, same as in 12.04, fast!
I was able to compile VMware Player, using Effenberg's patches that were used in 12.04. gcc4.7 was needed because kernels later that 3.2 used that version.
Now I wonder if Luca, Tista knows how much better kernel 3.4 is for GMA500 Poulsbo-type netbook machines? <smile>