efi_set_event_at
efi_set_event_at(events, 0, efi_table_attr(con_in, wait_for_key));
efi_set_event_at(events, 1, timer);