Expose vmi_init_paging to (re)initialize the paging mode
Merge pull request #185 from tklengyel/vmi_init_arch

Expose vmi_init_paging to (re)initialize the arch interface