Yes he shows how to setup of the Software but not how to run in AVX512 mode.
Only some settings in Bios what have no afect to the AVX Problem.