[U-Boot] [PATCH v2 35/47] x86: Support building the EFI stub