efi_cons_iskey
internal_iskey = efi_cons_iskey;
static int efi_cons_iskey(int);
static int (*internal_iskey)(int) = efi_cons_iskey;