efi_console.c revision f3272366
1