ARM: fix set_domain() macro