I've managed to verify this on kernel 4.4.0-143-generic, the problem isn't reproducible anymore.
Worth noticing that when using the kernel 4.4.0-143 in both host and guest, we cannot change MSR bit anymore from within the guest, so the performance drop is not observed.
I've managed to verify this on kernel 4.4.0-143-generic, the problem isn't reproducible anymore.
Worth noticing that when using the kernel 4.4.0-143 in both host and guest, we cannot change MSR bit anymore from within the guest, so the performance drop is not observed.