:: commit 13974faced8fd5bab04932a3a91297f00b789043

diff --git a/stage23/menu.c b/stage23/menu.c
index bcb7a3b2..5786efa5 100644
--- a/stage23/menu.c
+++ b/stage23/menu.c
@@ -570,6 +570,7 @@ void menu(__attribute__((unused)) bool timeout_enabled) {
         "mov stack_at_first_entry(%rip), %rsp\n\t"
         "2:\n\t"
         "push $0\n\t"
+        "push $0\n\t"
         "jmp _menu"
     );
 #endif