vmi_pagetable_lookup_extended

Introduce vmi_pagetable_lookup_extended that can be called to perform a V2P translation such that the size of the page is also returned as part of the translation.

This PR also includes a small cosmetic change to the get_va_pages internal routine that is unrelated but could be potentially useful as the use of cr3 is not hard-coded anymore.