msrtool: Linux /dev/cpu/*/msr returns the low 32 bits before the high 32 bits.