ARM testsuite for S2E