Re: [U-Boot] [PATCH] x86: acpi: Fix build error with certain configuration