[PATCH 0/6] x86: Correct timer overflow and add msr/cpuid commands