Re: [coreboot] Tyan 1832DL (440BX)