Comment # 4 on bug 1177541 from Wolfgang Bauer

And just in case:
I'm not sure if the kernel from that repo would work with Secure Boot though.