4xx: add missing CONFIG_SYS_SRAM_SIZE definition