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
  alloc irq_desc for 17 on node 0
  alloc kstat_irqs on node 0
HDA Intel 0000:04:01.0: PCI INT A -> GSI 17 (level, low) -> IRQ 17
HDA Intel 0000:04:01.0: setting latency timer to 64
HDA Intel 0000:04:01.0: PCI: Disallowing DAC for device
input: HDA Digital PCBeep as /devices/pci0000:00/0000:00:13.0/0000:04:01.0/input/input6
usplash:341 freeing invalid memtype ffffffffe0000000-ffffffffe8000000
eth0: no IPv6 routers present
hda-intel: IRQ timing workaround is activated for card #0. Suggest a bigger bdl_pos_adj.
Clocksource tsc unstable (delta = -121279415 ns)
warning: `VirtualBox' uses 32-bit capabilities (legacy support in use)