Switch vmi_get_va_pages from using va_page_t to page_info_t

Switch the vmi_get_va_pages function to build a list of page_info_t structures, which are more descriptive (and hence useful).