debug: Unify the SeaBIOS debug version banner.

Introduce debug_banner() and use it in all the places SeaBIOS version
is displayed for debugging purposes.

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>

1 files changed, 1 insertions, 1 deletions

diff --git a/src/post.c b/src/post.c
index ec3271e3..b5cbdb82 100644
--- a/src/post.c
+++ b/src/post.c
@@ -319,7 +319,7 @@ handle_post(void)
         return;
 
     serial_debug_preinit();
-    dprintf(1, "Start bios (version %s)\n", VERSION);
+    debug_banner();
 
     // Check if we are running under Xen.
     xen_preinit();