Re: [coreboot] Gigabyte GA-6BXE: Missing ACPI support!