Re: [coreboot] Patches for ACPI support on dbm690t (RS600 and SB600)