ARM: fix broken build of ARM