Re: Kernel 3.1 being phased out, time for 3.2 in F-16?