Fix assembly file indentation
Fix accessing kernel page table

- Do not call pmap_load() anymore from copyout/copyint functions
- Fetch kernel page table directly from ci_pmap_kern_segtab in the tlb miss
  handler instead of using ci_curpm