Re: [coreboot] Patches for ACPI support on dbm690t (reset TALERT of ADT7461)