[U-Boot] [PATCH v3 09/28] x86: Add EFI board code