fix compilation with some specific build setups

goodbye you stupid
Error: selected processor does not support ARM mode `smc #0'

Change-Id: I2c00ea62761b2b0ad74aee9dfad2670ae960b6c1