x11-drivers/nvidia-drivers: fix for linux-3.12