> a known binutils version 2.30 issue.
> Narrowed the scope of no-avx512 to the this specific binutils version.
I think we should print a warning here.
There is a function $(warning) or $(info) for such case.