Expose vmi_init_paging to (re)initialize the paging mode