ARM: make the immediate constraint more accurate