aarch64: context: Add separate kspace and uspace page table getters

src/context/arch/aarch64.rs

@@ -87,10 +87,14 @@ impl Context {
         }
     }
 
-    pub fn get_page_table(&self) -> usize {
+    pub fn get_page_utable(&self) -> usize {
         self.ttbr0_el1
     }
 
+    pub fn get_page_ktable(&self) -> usize {
+        self.ttbr1_el1
+    }
+
     pub fn set_fx(&mut self, _address: usize) {
     }