I have tested the mintv4e.prg kernel and xaaesv4e.km compiled with GCC 4.6, they still work fine. And they are respectively 2 and 4 KB smaller than before.
That's great! The difference in XaAES between gcc 2.95 and 4.4 is ~50KB, so it's the right direction.
-- Helmut Karlowski