1--- a/src/arch/x86/prefix/romprefix.S 2016-10-10 13:09:18.126031400 +0100 2+++ b/src/arch/x86/prefix/romprefix.S 2016-10-10 13:11:22.930680278 +0100 3@@ -468,6 +468,7 @@ 4 testb $PCI_FUNC_MASK, init_pci_busdevfn 5 jnz no_shell 6 .endif 7+#ifndef NO_POST_PROMPT 8 /* Prompt for POST-time shell */ 9 movw $init_message_prompt, %si 10 xorw %di, %di 11@@ -495,6 +496,7 @@ 12 pushw %cs 13 call exec 14+#endif 15 no_shell: 16 movb $( '\n' ), %al 17 xorw %di, %di 18 call print_character 19@@ -636,6 +638,7 @@ 20 init_message_int19: 21 .asciz " INT19" 22 .size init_message_int19, . - init_message_int19 23+#ifndef NO_POST_PROMPT 24 init_message_prompt: 25 .asciz "\nPress Ctrl-B to configure " 26 .size init_message_prompt, . - init_message_prompt 27@@ -645,6 +648,7 @@ 28 init_message_done: 29 .asciz "\n\n" 30 .size init_message_done, . - init_message_done 31+#endif 32 33 /* PCI bus:dev.fn 34 * 35