Re: [coreboot] PATCH: Add code to initialize PIIX4 ACPI/PM/SMBus device