Comment 27 for bug 1659618

Yakkety verification:

[ 77.450371] kexec_core: Starting new kernel
[ 0.618716] kvm [1]: HYP mode not available

[ 0.000000] arch_timer: WARNING: Invalid trigger for IRQ3, assuming level low
[ 0.000000] arch_timer: WARNING: Please fix your firmware
[ 0.000000] arch_timer: cp15 timer(s) running at 20.00MHz (virt).
[ 0.000000] clocksource: arch_sys_counter: mask: 0xffffffffffffff max_cycles: 0x49cd42e20, max_idle_ns: 440795202120 ns
[ 0.000001] sched_clock: 56 bits at 20MHz, resolution 50ns, wraps every 4398046511100ns
[ 0.000031] vt handoff: transparent VT on vt#7
[ 0.000039] Console: colour dummy device 80x25
[ 0.000043] console [tty0] enabled
[ 0.000064] Calibrating delay loop (skipped), value calculated using timer frequency.. 40.00 BogoMIPS (lpj=80000)
[ 0.000066] pid_max: default: 32768 minimum: 301
[ 0.000104] Security Framework initialized
[ 0.000107] Yama: becoming mindful.
[ 0.000126] AppArmor: AppArmor initialized
[ 0.000236] Dentry cache hash table entries: 65536 (order: 7, 524288 bytes)
[ 0.000344] Inode-cache hash table entries: 32768 (order: 6, 262144 bytes)
[ 0.000387] Mount-cache hash table entries: 1024 (order: 1, 8192 bytes)
[ 0.000392] Mountpoint-cache hash table entries: 1024 (order: 1, 8192 bytes)
[ 0.000641] ftrace: allocating 33642 entries in 132 pages
[ 0.065708] ASID allocator initialised with 65536 entries
[ 0.066225] PCI/MSI: /intc/its domain created
[ 0.066237] Platform MSI: /intc/its domain created
[ 0.066307] Remapping and enabling EFI services.
[ 0.066317] EFI remap 0x0000000004000000 => 0000000020000000
[ 0.066322] EFI remap 0x0000000009010000 => 0000000024000000
[ 0.066326] EFI remap 0x00000000585f0000 => 0000000024010000
[ 0.066330] EFI remap 0x0000000058600000 => 0000000024020000
[ 0.066333] EFI remap 0x00000000586e0000 => 00000000240e0000
[ 0.066339] EFI remap 0x000000005bc20000 => 0000000024150000
[ 0.066346] EFI remap 0x000000005bdb0000 => 00000000242e0000
[ 0.066429] smp: Bringing up secondary CPUs ...
[ 0.066431] smp: Brought up 1 node, 1 CPU
[ 0.066432] SMP: Total of 1 processors activated.
[ 0.066434] CPU features: detected feature: GIC system register CPU interface
[ 0.066436] CPU features: detected feature: Privileged Access Never
[ 0.066451] CPU: All CPU(s) started at EL1
[ 0.066454] alternatives: patching kernel code
[ 0.067989] devtmpfs: initialized
[ 0.068605] evm: security.selinux
[ 0.068606] evm: security.SMACK64
[ 0.068606] evm: security.SMACK64EXEC
[ 0.068607] evm: security.SMACK64TRANSMUTE
[ 0.068608] evm: security.SMACK64MMAP
[ 0.068609] evm: security.ima
[ 0.068610] evm: security.capability
[ 0.068688] SMBIOS 3.0.0 present.
[ 0.068692] DMI: QEMU KVM Virtual Machine, BIOS 0.0.0 02/06/2015
[ 0.068756] clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645041785100000 ns