Comment # 6 on bug 1179763 from Donald Curtis

(In reply to Borislav Petkov from comment #5)
> Thanks, I think I know what the problem is. And the fix is trivial. Are you
> able to test patches or should I give you a test kernel to try?

If you include a Make file, I should be able to test the patch - even if the
Kernel source isn't installed on the Laptop, it's not a big deal to install it.
 * What's with the EDAC source? I haven't checked if that's included with the
   Kernel source . . .