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