Tiny ARMv7 interpreter update