Re: [U-Boot] x86: ACPI support suggestion