Add support for ARM32 + bugfixes#23

m4drat wants to merge 8 commits into

gaasedelen:mastergaasedelen/tenet:masterfrom

m4drat:qemu-arm32-tracerm4drat/tenet:qemu-arm32-tracerCopy head branch name to clipboard