[arm][mm] Move ASID from TTBR0_EL1 to TTBR1_EL1 & ASID 16-bit

Set the defualt ASID to 16 bit configuration, and move the ASID
to TTBR1. Since most of the current hardware support 16-ASID,
changing the default address space identifier to 16-bit.

Test: Tested on kirin970 and hikey960 board. Device booted to shell
      voydanoff also tested on vim2 and eagle

Change-Id: I8ac56a75fbedcfc43b9b0e0b912447201ea6ed70
diff --git a/kernel/arch/arm64/include/arch/arm64/mmu.h b/kernel/arch/arm64/include/arch/arm64/mmu.h
index bd25803..62689e6 100644
--- a/kernel/arch/arm64/include/arch/arm64/mmu.h
+++ b/kernel/arch/arm64/include/arch/arm64/mmu.h
@@ -296,7 +296,8 @@
                         MMU_TCR_ORGN0(MMU_RGN_WRITE_BACK_ALLOCATE) | \
                         MMU_TCR_IRGN0(MMU_RGN_WRITE_BACK_ALLOCATE) | \
                         MMU_TCR_T0SZ(64 - MMU_IDENT_SIZE_SHIFT))
-#define MMU_TCR_FLAGS_IDENT (MMU_TCR_IPS_DEFAULT | MMU_TCR_FLAGS1 | MMU_TCR_FLAGS0_IDENT)
+#define MMU_TCR_FLAGS_IDENT (MMU_TCR_IPS_DEFAULT | MMU_TCR_FLAGS1 | \
+                        MMU_TCR_FLAGS0_IDENT | MMU_TCR_AS | MMU_TCR_A1)
 
 #define MMU_TCR_FLAGS_KERNEL (MMU_TCR_IPS_DEFAULT | \
                               MMU_TCR_FLAGS1 | \