I have tested your test kernel from comment #11 on both machines now and get exactly the same results as with the kernel from comment #7. On the laptop (bug 1156548) the problem is solved by both kernels and on the PC (bug 1029865) the problem is not solved by both kernels.
I have tested your test kernel from comment #11 on both machines now and get exactly the same results as with the kernel from comment #7. On the laptop (bug 1156548) the problem is solved by both kernels and on the PC (bug 1029865) the problem is not solved by both kernels.