Re: [coreboot] ACPI resource problem