x86/vmi: fix compilation as a result of pte_t changes