ARM: add backend support for the ABI used in WatchOS