fixed a type error when calling armv7_reglist