[prompt] Replace shell_banner() with a generic prompt() function

Signed-off-by: Michael Brown <mcb30@ipxe.org>

src/hci/shell_banner.c

@@ -1,56 +0,0 @@
-/*
- * Copyright (C) 2006 Michael Brown <mbrown@fensystems.co.uk>.
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License as
- * published by the Free Software Foundation; either version 2 of the
- * License, or any later version.
- *
- * This program is distributed in the hope that it will be useful, but
- * WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
- * General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
- */
-
-FILE_LICENCE ( GPL2_OR_LATER );
-
-#include <stdio.h>
-#include <console.h>
-#include <config/general.h>
-#include <ipxe/keys.h>
-#include <ipxe/timer.h>
-#include <ipxe/shell_banner.h>
-
-/** @file
- *
- * Shell startup banner
- *
- */
-
-/**
- * Print shell banner and prompt for shell entry
- *
- * @ret	enter_shell		User wants to enter shell
- */
-int shell_banner ( void ) {
-	int key;
-
-	/* Skip prompt if timeout is zero */
-	if ( BANNER_TIMEOUT <= 0 )
-		return 0;
-
-	/* Display prompt */
-	printf ( "\nPress Ctrl-B for the iPXE command line..." );
-
-	/* Wait for key */
-	key = getkey ( ( BANNER_TIMEOUT * TICKS_PER_SEC ) / 10 );
-
-	/* Clear the "Press Ctrl-B" line */
-	printf ( "\r                                         \r" );
-
-	return ( key == CTRL_B );
-}