New kernel 3.7.0-0 just rolled up in updates if anybody is interested. Regards..
Ubuntu Forums Code of Conduct