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