diff --git a/hermit/arch/x86/kernel/entry.asm b/hermit/arch/x86/kernel/entry.asm
index cd5af54a7..3b431a11f 100644
--- a/hermit/arch/x86/kernel/entry.asm
+++ b/hermit/arch/x86/kernel/entry.asm
@@ -654,6 +654,7 @@ Lgo3:
     iretq
 
 global is_single_kernel
+align 64
 is_single_kernel:
     mov eax, DWORD [single_kernel]
     ret