Will the patch mentioned in Konrad Barth's post https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=749703#5 Be added to a new package ? I am currently unable to use a kernel from backports and the nvidia driver, because of the error that is mentioned.