plat_stdin_is_keyboard
sp->cons_stdin_is_kbd = plat_stdin_is_keyboard();
plat_stdin_is_keyboard()) {
extern int plat_stdin_is_keyboard(void);