ixp425_sdram_size
uint32_t ixp425_sdram_size(void);
bootconfig.dram[0].pages = ixp425_sdram_size() / PAGE_SIZE;