[coreboot] [msrtool] Bug report

[Nils]

Hi all,
I found a bug in msrtool.
On AMD Geode GX2 the reading of MSR registers above 0x7FFFFFFF gives an
error.
For MSR register 0x80000000 the error is:
linux_rdmsr: read(0x80000000): Invalid argument

I spend about 8 hours to look at the code but it needs a more
expirienced programmer.

The bug tracking system does not seem to know msrtool.

Thanks, Nils.