[coreboot] [PATCH] 440BX registered SDRAM support