Comment 21 for bug 1308183

kernel-package 13.003 fixes the build issue for me. Some maintainer should upload this updated version to the regular Ubuntu repository, in order to get it deployed to the users. Since comment #13 is already more than 2 years old (2014-05-10, today is 2016-06-09), this may have been forgotten?

Please could somebody re-open this bug report, since the status "Fix released" seems to be wrong until the fix is actually uploaded?