Comment 6 for bug 1741655

Kernel is working, please fix also the HWE for 16.04 with the patches

Linux XXXXXXXX 4.13.0-25-generic #29~lp1741655 SMP

~# lsmod | grep kvm
kvm_intel 200704 7
kvm 585728 1 kvm_intel

processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5110 @ 1.60GHz
stepping : 6
microcode : 0xd2
cpu MHz : 1596.587
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm co
nstant_tsc arch_perfmon pebs bts rep_good nopl cpuid aperfmperf pni dtes64 monitor ds_cpl vmx tm2 ssse3 cx16 xtpr pdcm dca lahf_lm pti tpr_shadow dtherm
bugs : cpu_insecure
bogomips : 3193.17
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual