Patch to support EABI kernel with thumb disabled

Note this breaks OABI detection, but allows me to run binaries on an eabi kernel with thumb support disabled.