[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 2 commits: Support more x86 extensions: AVX-512 {BW,DQ,VL} and GFNI