diff --git a/support/scripts/gen-bootlin-toolchains b/support/scripts/gen-bootlin-toolchains
index a42ddb4097..dc173fa949 100755
--- a/support/scripts/gen-bootlin-toolchains
+++ b/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',
     },