arch/Config.in.x86: x86-64-v4 implies AVX512

Now that we have BR2_X86_CPU_HAS_AVX512, we can use it to fix the
x86-64-v4 definition, which implies AVX512 support according to
https://gitlab.com/x86-psABIs/x86-64-ABI/-/blob/master/x86-64-ABI/low-level-sys-info.tex

Signed-off-by: Thomas Petazzoni <[email protected]>
Signed-off-by: Yann E. MORIN <[email protected]>

diff --git a/arch/Config.in.x86 b/arch/Config.in.x86
index 6b18580ae4e888e599c3ce0342b69748bbfd4c82..2034fb3bb70847ff1a28222e8423b11c69f94caf 100644 (file)
--- a/arch/Config.in.x86
+++ b/arch/Config.in.x86
@@ -146,6 +146,7 @@ config BR2_x86_x86_64_v4
        select BR2_X86_CPU_HAS_SSE42
        select BR2_X86_CPU_HAS_AVX
        select BR2_X86_CPU_HAS_AVX2
+       select BR2_X86_CPU_HAS_AVX512
        select BR2_ARCH_NEEDS_GCC_AT_LEAST_11
        help
          This option corresponds to the x86-64-v4 micro-architecture