-- Logs begin at Wed 2016-12-14 11:48:38 UTC, end at Wed 2016-12-14 11:56:44 UTC. --
Dec 14 11:48:38 hostname kernel: ACPI: RSDP 0x00000000000EA020 000024 (v02 Xen   )
Dec 14 11:48:38 hostname kernel: ACPI: XSDT 0x00000000FC00CF40 000044 (v01 Xen    HVM      00000000 HVML 00000000)
Dec 14 11:48:38 hostname kernel: ACPI: FACP 0x00000000FC00CC80 0000F4 (v04 Xen    HVM      00000000 HVML 00000000)
Dec 14 11:48:38 hostname kernel: ACPI: DSDT 0x00000000FC0042A0 008956 (v02 Xen    HVM      00000000 INTL 20150619)
Dec 14 11:48:38 hostname kernel: ACPI: FACS 0x00000000FC004260 000040
Dec 14 11:48:38 hostname kernel: ACPI: FACS 0x00000000FC004260 000040
Dec 14 11:48:38 hostname kernel: ACPI: APIC 0x00000000FC00CD80 0000D8 (v02 Xen    HVM      00000000 HVML 00000000)
Dec 14 11:48:38 hostname kernel: ACPI: HPET 0x00000000FC00CED0 000038 (v01 Xen    HVM      00000000 HVML 00000000)
Dec 14 11:48:38 hostname kernel: ACPI: WAET 0x00000000FC00CF10 000028 (v01 Xen    HVM      00000000 HVML 00000000)
Dec 14 11:48:38 hostname kernel: ACPI: 1 ACPI AML tables successfully acquired and loaded
Dec 14 11:48:38 hostname kernel: cpu 0 spinlock event irq 53
Dec 14 11:48:38 hostname kernel: NMI watchdog: disabled (cpu0): hardware events not enabled
Dec 14 11:48:38 hostname kernel: cpu 1 spinlock event irq 59
Dec 14 11:48:38 hostname kernel: PCCT header not found.
Dec 14 11:48:38 hostname kernel: acpi PNP0A03:00: fail to add MMCONFIG information, can't access extended PCI configuration space under this bridge.
Dec 14 11:48:38 hostname kernel: * Found PM-Timer Bug on the chipset. Due to workarounds for a bug,
                                  * this clock source is slow. Consider trying other clock sources
Dec 14 11:48:38 hostname kernel: ACPI: Enabled 2 GPEs in block 00 to 0F
Dec 14 11:48:38 hostname kernel: Grant table initialized
Dec 14 11:48:38 hostname kernel: vbd vbd-5696: 19 xenbus_dev_probe on device/vbd/5696
Dec 14 11:48:39 hostname systemd-tmpfiles[296]: [/usr/lib/tmpfiles.d/var.conf:14] Duplicate line for path "/var/log", ignoring.
Dec 14 11:48:39 hostname kernel: piix4_smbus 0000:00:01.3: SMBus base address uninitialized - upgrade BIOS or use force_addr=0xaddr