tizen: also support ARMv7 machine