It looks like this is fixed in opw_kinematics using the code below. However, we may want to instead use the method described here
if ( NOT CMAKE_SYSTEM_NAME2 MATCHES "aarch64" AND NOT CMAKE_SYSTEM_NAME2 MATCHES "armv7l" AND NOT CMAKE_SYSTEM_NAME2 MATCHES "unknown" )
set(OPW_COMPILE_OPTIONS_PUBLIC -mno-avx)
endif()