pub const EFI_KEY_ENTER: Key = 0x0000000d;