Minor bugfixes to handle signals better for ARM processor