ARM: correct an off-by-one in an assert