See the link below for details, the Linux kernel version is not listed because it is a developer kernel v3.8.0-6.13. Looking for xorg fixes via altered kernels.
Seems to be an ACPI firmware bug.
Someone suggested changing the acpi boot settings in grub would fix the problem. I haven't tested it yet, but plan to sometime today or tomorrow.