gator-driver: Fixes compilation issue on 3.2rc kernel