binary search in ARMv2