Change in kernel API affecting Gator