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>