Intel's i5-6300U CPU is reporting to have a model id of 78 (4e).
The Host detection assumes that to be Skylake Xeon (with AVX512 support),
instead of a normal Skylake machine.
This PR adds a check to verify that AVX512 support is indeed present.
The cpuinfo of an affected machine .
Patch by: Valentin Churavy