efi_console.c revision ebb4dd5b
1