+#if defined(CONFIG_SERIAL_MPSC_CONSOLE)
+long __attribute__ ((weak)) mv64x60_console_baud = 9600;
+long __attribute__ ((weak)) mv64x60_mpsc_clk_src = 8; /* TCLK */
+long __attribute__ ((weak)) mv64x60_mpsc_clk_freq = 100000000;
+#endif
+
+void __attribute__ ((weak))