Re: [U-Boot] [PATCH 04/16] efi: Add a TODO to efi_init_obj_list()