Comment 9 for bug 642518

Qihe: You are correct, that is an infinite loop. Use Evan’s patch instead.

Evan: You forgot to add the patch to dkms.conf.in, though. (You probably want to use a clever PATCH_MATCH regex that applies it only for kernels that have arch_compat_alloc_user_space.)