** Tags added: cherry-pick kernel-core -- [x86, VMI]TSC going back for VMI clocksource. https://bugs.launchpad.net/bugs/345553 You received this bug notification because you are a member of Kernel Bugs, which is subscribed to linux in ubuntu.