Re: Gator fix for 3.5 kernels