Fix virt_tophys function in ARM memory