rc759: Support higher CPU clock speeds
A new config file option "system.model" defines a 6 or 8 MHz
model. This option also defines the supported ram sizes,
replacing the old "system.alt_mem_size" option.
Higher CPU clock rates can be set by the new config file option
"system.speed".