Great work on the fix! I can confirm it works for me on a Samsung NP530U3C Ultrabook.
The kernel is the one from proposed:
3.2.0-31-generic #50-Ubuntu SMP Fri Sep 7 16:16:45 UTC 2012 x86_64 x86_64 x86_64 GNU/Linux
tim@t:~$ dpkg -l linux
Desired=Unknown/Install/Remove/Purge/Hold
| Status=Not/Inst/Conf-files/Unpacked/halF-conf/Half-inst/trig-aWait/Trig-pend
|/ Err?=(none)/Reinst-required (Status,Err: uppercase=bad)
||/ Name Version Description
+++-==============-==============-============================================
ii linux 3.2.0.31.34 Generic complete Linux kernel.
Great work on the fix! I can confirm it works for me on a Samsung NP530U3C Ultrabook.
The kernel is the one from proposed:
3.2.0-31-generic #50-Ubuntu SMP Fri Sep 7 16:16:45 UTC 2012 x86_64 x86_64 x86_64 GNU/Linux
tim@t:~$ dpkg -l linux Unknown/ Install/ Remove/ Purge/Hold Not/Inst/ Conf-files/ Unpacked/ halF-conf/ Half-inst/ trig-aWait/ Trig-pend /Reinst- required (Status,Err: uppercase=bad) ======= ====-== ======= =====-= ======= ======= ======= ======= ======= ======= =
Desired=
| Status=
|/ Err?=(none)
||/ Name Version Description
+++-===
ii linux 3.2.0.31.34 Generic complete Linux kernel.
Please push this fix out with the next update!