Fix comment for avx512 detection

AVX-512VL is bit 31, not 32

Change-Id: Id1012aff5c1c96ff9b1cfc91fb742752b5a27bef
1 file changed