python, config: Follow renaming of SSRam controller in Patmos.