Yes, they should.
If your CPU lies about its feature support, there are far, far, far bigger problems for the end user than whether a binary is optimal or not.
If your CPU lies about its feature support, there are far, far, far bigger problems for the end user than whether a binary is optimal or not.
In this case, the optimal thing to do was not to use these instructions despite the processors claiming support.