nommu: Add #ifdef CONFIG_MMU around the PTE sanity checks

Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>
1 file changed