After searching on the internet for a solution (as that the kernel.org website is down), I found this patch to resolve the issue reported in bnc#716892. The patch comes from upstream and was applied to Fedora packages around the end of August. (forwarded request 82821 from tittiatcoke)