S2EExecutor: added missing external variables

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
Fix banked registers handling on mode changes

This commit fixes a typo in banked registers handling code, which was
not correct during mode changes. It was preventing the proper loading of
recent Linux kernel images, resulting in infinite loops.

Signed-off-by: Luca Bruno <lucab@debian.org>
HostFiles: rework sub-opcode extraction

Signed-off-by: Luca Bruno <lucab@debian.org>
Make use of S2E_TARGET_CONC_LIMIT and CPU_CONC_LIMIT

Minimize target-specific code and number of #ifdef, by reusing the
S2E_TARGET_CONC_LIMIT and CPU_CONC_LIMIT macro when handling CPU state
offsets and areas, in conjuction with the neutral CPUArchState struct.

Signed-off-by: Luca Bruno <lucab@debian.org>
Makefile: build LibraryCallMonitor and MaxTbSearcher everywhere

Signed-off-by: Luca Bruno <lucab@debian.org>
Fix S2E handling of ARM interrupts

An incorrect conflict resolution was causing infinite recursion between
doInterrupt() and do_interrupt() while handling ARM interrupts.
It was preventing the proper loading of recent Linux kernel images in
S2E mode, resulting in stack overflow. Fixed now.

Signed-off-by: Luca Bruno <lucab@debian.org>