[U-Boot] [PATCH v2 4/6] efi_loader: helloworld: Output ACPI configuration table