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