[U-Boot] [PATCH v3 10/28] x86: dts: Add a device tree file for EFI