armv7a_mmu: Do not restrict virtual addresses to uint32_t

No match.