Linux 3.13 compatibility

Fixes Bumblebee-Project/bbswitch#95 (reported by HamishB).