I'm surprised RHEL is requiring AVX2 models, they usually had some slack in processor requirements (though I'm sure not as big as Debian)