gator-driver: Fix building on Linux 3.12