Linux On My Samsung

Hi, I'm getting random kernel panics (sometimes a couple times a day, sometimes it's fine for weeks) starting with the message "error running install command for acpi_cpufreq". I'm running Ubuntu 12.10 on a Samsung NP900X3C. The grub entry is: recordfail gfxmode $linux_gfx_mode insmod gzio...