there is a new kernel now, came out last night: 3.8.0-21 hopefull that fixes broken hdmi audio and a certain booting issue on nvidia systems