x86_64: fix non-paravirt compilation