Comment by hdevalence

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.