target/arm926ejs: change prototype of arm926ejs_verify_pointer()