AArch64: do not use the 'procs' argument

[nkaretnikov]

This change is 

[nkaretnikov]

Making sure that both examples still work. (This PR fixes one of them. The other one works fine as is.)

root@5cc4557fdbcd:/manticore# printf "\x00+++" | PYTHONPATH=. ./examples/script/aarch64/basic.py
2019-05-17 17:13:42,578: [72448] m.p.platform:WARNING: Unimplemented system call at 0x43901c: sys_faccessat(0xffffffffffffff9c, 0x470d28, 0x0)
hook else
(declare-fun STDIN () (Array (_ BitVec 32) (_ BitVec 8)))
(declare-fun a_1 () (_ BitVec 8))(assert (= a_1 (select STDIN #x00000003)))
(declare-fun a_2 () (_ BitVec 8))(assert (= a_2 (select STDIN #x00000002)))
(declare-fun a_3 () (_ BitVec 8))(assert (= a_3 (select STDIN #x00000001)))
(declare-fun a_4 () (_ BitVec 32))(assert (= a_4 (concat a_1 a_2 a_3 #x00)))
(declare-fun a_5 () (_ BitVec 64))(assert (= a_5 ((_ sign_extend 32) a_4)))
hook if
<BitVecConcat at 7f12b606f5c0>
b'\x00\x00\x00\x00'
hook puts
Message: It is less than or equal to 0x41

root@5cc4557fdbcd:/manticore# PYTHONPATH="." ./examples/script/aarch64/hello42.py | egrep "puts|exit"
puts argument: hello
puts result: 6
exit status: 42

[ehennenfent]

👍