Re: Change in kernel API affecting Gator