efi_console.c revision 1dde0d57
1