Re: [coreboot] [patch] fix compilation of all i82371eb boards when ACPI tables aren't generated