Fix the way we read the current l1 page table set in the mmu. We use it check if the current page table is different from the running thread. Signed-off-by: Flavio Ceolin <flavio.ceolin@intel.com>