Jianyong Wu ec56f07316 arch: x86_64: Populate the APIC Id
Program the APIC ID (CPUID leaf 0x1 EBX) with the CPU id. This resolves
an issue where the EDKII firmware expects the APIC ID to vary per-CPU.

Fixes: #5475
Signed-off-by: Jianyong Wu <jianyong.wu@arm.com>
(cherry picked from commit 57fdaa3a39fc9536ffd2665c470c33476dbdd931)
2024-01-19 09:09:22 -08:00
..
2024-01-19 09:09:22 -08:00