[U-Boot] [PATCH 4/4] distro: Add efi pxe boot code