On 07/27/12 03:56, Thomas Petazzoni wrote: > Yes, you'll send a patch later for this. My knowledge of the x86 > variants is somewhat rusty :-) > > Thomas "man gcc" does wonders :) Regards.