support/scripts/gen-bootlin-toolchains: add missing BR2_X86_CPU_HAS_AVX512 condition for x86-64-v4

The x86-64-v4 toolchain assumes availability of AVX512, as per the
definition of the x86-64-v4 "standard".

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Signed-off-by: Yann E. MORIN <yann.morin.1998@free.fr>

support/scripts/gen-bootlin-toolchains

@@ -222,7 +222,8 @@ arches = {
                        'BR2_X86_CPU_HAS_SSE4',
                        'BR2_X86_CPU_HAS_SSE42',
                        'BR2_X86_CPU_HAS_AVX',
-                       'BR2_X86_CPU_HAS_AVX2'],
+                       'BR2_X86_CPU_HAS_AVX2',
+                       'BR2_X86_CPU_HAS_AVX512'],
         'test_options': ['BR2_x86_64', 'BR2_x86_x86_64_v4'],
         'prefix': 'x86_64',
     },