Patch "target/user: Fix cast from pointer to phys_addr_t" has been added to the 4.4-stable tree