smp: Make RDI pointer higher half aware
diff --git a/common/sys/smp_trampoline.real b/common/sys/smp_trampoline.real
index 2d672e20..0bf44d0d 100644
--- a/common/sys/smp_trampoline.real
+++ b/common/sys/smp_trampoline.real
@@ -141,6 +141,7 @@ bits 64
parking64:
mov ebx, ebx
mov edi, dword [rbx + passed_info.smp_info_struct]
+ add rdi, qword [rbx + passed_info.hhdm]
mov eax, 1
lock xchg dword [rbx + passed_info.booted_flag], eax
