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