msrtool: Linux /dev/cpu/*/msr returns the low 32 bits before the high 32 bits.
[coreboot.git] / targets / asi /
drwxr-xr-x   ..
drwxr-xr-x - mb_5blgp
drwxr-xr-x - mb_5blmp