EDAC amd64: WARNING: ECC is NOT currently enabled by the BIOS. Module will NOT be loaded.
    Either Enable ECC in the BIOS, or use the 'ecc_enable_override' parameter.
    Might be a BIOS bug, if BIOS says ECC is enabled
    Use of the override can cause unknown side effects.
amd64_edac: probe of 0000:00:18.2 failed with error -22
input: ImPS/2 Generic Wheel Mouse as /devices/platform/i8042/serio1/input/input5
ACPI: PCI Interrupt Link [APCJ] enabled at IRQ 23
Intel ICH 0000:00:10.2: PCI INT C -> Link[APCJ] -> GSI 23 (level, low) -> IRQ 23
Intel ICH 0000:00:10.2: setting latency timer to 64
intel8x0_measure_ac97_clock: measured 60766 usecs (2976 samples)
intel8x0: clocking to 47045
type=1505 audit(1255814172.984:17): operation="profile_replace" pid=880 name=/usr/bin/evince
type=1505 audit(1255814172.984:18): operation="profile_replace" pid=880 name=/usr/bin/evince-previewer
type=1505 audit(1255814172.984:19): operation="profile_replace" pid=880 name=/usr/bin/evince-thumbnailer
type=1505 audit(1255814173.354:20): operation="profile_replace" pid=1081 name=/usr/lib/cups/backend/cups-pdf
type=1505 audit(1255814173.384:21): operation="profile_replace" pid=1081 name=/usr/sbin/cupsd
type=1505 audit(1255814173.464:22): operation="profile_replace" pid=1103 name=/usr/sbin/mysqld-akonadi
type=1505 audit(1255814173.544:23): operation="profile_replace" pid=1106 name=/usr/sbin/tcpdump
usplash:399 freeing invalid memtype ffffffffd0000000-ffffffffd4000000
eth0: no IPv6 routers present
Clocksource tsc unstable (delta = -237128716 ns)