Re: [U-Boot] [RFC] Design of UEFI drivers