x86 patch ping

[Jakub Jelinek]

Hi!

I'd like to ping 2 patches:

http://gcc.gnu.org/ml/gcc-patches/2017-12/msg01558.html
  - PR83604 VBMI2 fixes

http://gcc.gnu.org/ml/gcc-patches/2017-12/msg01559.html
  - PR83604 GFNI & misc fixes

Thanks

        Jakub