Add support for arm-vxworks target