armv7a_mmu: Do not restrict virtual addresses to uint32_t