I'm having this same problem on a Lenovo ThinkPad T410 with Linux Mint 15 (3.8.0-21-generic #32-Ubuntu SMP Tue May 14 22:16:46 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux). Booting with an older kernel (3.5.0-28) is fine...
I'm having this same problem on a Lenovo ThinkPad T410 with Linux Mint 15 (3.8.0-21-generic #32-Ubuntu SMP Tue May 14 22:16:46 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux). Booting with an older kernel (3.5.0-28) is fine...