ARM: remove unnecessary .previous directive