[added to the 4.1 stable tree] target/user: Fix cast from pointer to phys_addr_t