arm_mmu_get_context_id
ensure proper use of R_NG, R_S bits

use of ASIDs requires use of R_NG bit on every piece of process-specific memory
per-cpu-ize current_base_table, and add vmm_find_mapping_entry for debugging