Add support for ARMv7ve architecture