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