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