x86: tweak io_64.h for paravirt.