ARM: hard float