mv64x60_mpsc_clk_freq = CPCI690_BUS_FREQ;
mv64x60_mpsc_clk_freq = (get_mem_size() >= (1*GB)) ? 100000000 : 133333333;
mv64x60_board_init(void __iomem *old_base, void __iomem *new_base){	mv64x60_console_baud = CPCI690_MPSC_BAUD;	mv64x60_mpsc_clk_src = CPCI690_MPSC_CLK_SRC;	mv64x60_mpsc_clk_freq = CPCI690_BUS_FREQ;}