Bug fixes for ARM

This PR includes several bugfixes related to the ARM port. With those applied, arm-s2e-softmmu is now capable of running a full stock [Debian armel machine](http://people.debian.org/~aurel32/qemu/armel/).