Re: [U-Boot] [UBOOT PATCH v6 1/3] x86: Generate a valid ACPI table