Switch vmi_get_va_pages from using va_page_t to page_info_t