Added code to keep track of the current translation table

* This patch also fixes a bug where the TTBCR was read twice instead
  of being read, the value modified and then written back.