x86: change rdpmc interface