aarch64: userspace: bump the global number of available page tables

Each memory domain requires a few pages for itself.

Signed-off-by: Nicolas Pitre <[email protected]>

Author: Nicolas Pitre

arch/arm/core/aarch64/Kconfig

@@ -129,6 +129,7 @@ config MMU_PAGE_SIZE
 
 config MAX_XLAT_TABLES
 	int "Maximum numbers of translation tables"
+	default 16 if USERSPACE
 	default 8
 	help
 	  This option specifies the maximum numbers of translation tables.