mpc5121: determine RAM size using get_ram_size()