xf86-video-nvidia-legacy: make nvidia-legacy happy with kernel 3.13