ghibo

The proposed fix seems to be partially obfuscated by the MD formatting. I guess the suggested patch is like this one I'm going to attach, that I'm going to test....

Even with that patch I get the same reports, just changed (rightly because of the introduction of the new code) the line of report, now at: kernel: kernel BUG at...