Re: [U-Boot] [PATCH v2 15/30] x86: Add a simple header file for ACPI