Fix "selected processor does not support ARM mode `smc 1'"