target/arm946e: change prototype of arm946e_verify_pointer()