target/arm720t: change prototype of arm720t_verify_pointer()