The avx512-sde bot is failing with some tests that reach the default time limit since an emulated execution takes longer.
LGTM
Thanks for the review! committed in r310913.