Re: [coreboot] [PATCH] 440BX registered SDRAM support