ARM: workaround for bug in GNU assembler