Kernel entra em pânico aleatoriamente

Question

Meu sistema falha aleatoriamente. Não consigo reproduzir o travamento, exceto usando este comando:

echo c | sudo tee /proc/sysrq-trigger

Toda vez que ele falha (como uma vez por semana). Eu posso inicializar e trabalhar com a máquina, mas em algum momento ela falha. Eu fiz as atualizações normais do kernel e instalei e desinstalei várias coisas. Isso não afetou o problema.

Estou usando 13,04 64 bits. Aqui está o link para o syslog do tempo do acidente

Então, alguma sugestão? Eu nem sei se é um problema de software ou hardware ...

O sistema:

Samsung NP530U3C-A0B com CPU Intel Core i3-3217U a 1.80GHz × 4

Gráficos:

VGA compatible controller [0300]: Intel Corporation 3rd Gen Core processor Graphics Controller [8086:0166] (rev 09)
    Subsystem: Samsung Electronics Co Ltd Device [144d:c0d7]
    Kernel driver in use: i915

Informação do BIOS:

Vendor: Phoenix Technologies Ltd.
Version: P01ABH
Release Date: 08/21/2012
Address: 0xE0000
Runtime Size: 128 kB
ROM Size: 3072 kB

Informações de hardware:

00:00.0 Host bridge: Intel Corporation 3rd Gen Core processor DRAM Controller (rev 09)
00:02.0 VGA compatible controller: Intel Corporation 3rd Gen Core processor Graphics Controller (rev 09)
00:14.0 USB controller: Intel Corporation 7 Series/C210 Series Chipset Family USB xHCI Host Controller (rev 04)
00:16.0 Communication controller: Intel Corporation 7 Series/C210 Series Chipset Family MEI Controller #1 (rev 04)
00:1a.0 USB controller: Intel Corporation 7 Series/C210 Series Chipset Family USB Enhanced Host Controller #2 (rev 04)
00:1b.0 Audio device: Intel Corporation 7 Series/C210 Series Chipset Family High Definition Audio Controller (rev 04)
00:1c.0 PCI bridge: Intel Corporation 7 Series/C210 Series Chipset Family PCI Express Root Port 1 (rev c4)
00:1c.3 PCI bridge: Intel Corporation 7 Series/C210 Series Chipset Family PCI Express Root Port 4 (rev c4)
00:1d.0 USB controller: Intel Corporation 7 Series/C210 Series Chipset Family USB Enhanced Host Controller #1 (rev 04)
00:1f.0 ISA bridge: Intel Corporation HM76 Express Chipset LPC Controller (rev 04)
00:1f.2 SATA controller: Intel Corporation 7 Series Chipset Family 6-port SATA Controller [AHCI mode] (rev 04)
00:1f.3 SMBus: Intel Corporation 7 Series/C210 Series Chipset Family SMBus Controller (rev 04)
01:00.0 Network controller: Intel Corporation Centrino Advanced-N 6235 (rev 24)
02:00.0 Ethernet controller: Realtek Semiconductor Co., Ltd. RTL8111/8168 PCI Express Gigabit Ethernet controller (rev 06)