Comment 58 for bug 1229591

Apologies, I cannot do it. It's too dificult for me. I tried various things and almost made my system inoperable.
I hope devs can solve it with the info and terminal results already provided.
Otherwise, if anyone has more knowledge on these things, he is free to try.
Last working kernel was 3.10.0-6.17