[U-Boot] x86: ACPI support suggestion