Fixed some warning on arm11_mmu.c