[Bug target/103661] __builtin_cpu_supports returns a negative integer for avx512vbmi2

[stefan.kneifel at bluewin dot ch]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103661

--- Comment #3 from Stefan Kneifel <stefan.kneifel at bluewin dot ch> ---
Created attachment 51975
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51975&action=edit
First try of a patch, making it unsigned (and correcting the resolver
generator)