Fix rdpmc decoding in x64 mode.