int board_init(void)
 {
        at91_pio_t *pio = (at91_pio_t *) ATMEL_BASE_PIO;
-       /* Enable Ctrlc */
-       console_init_f();
 
        /* Correct IRDA resistor problem / Set PA23_TXD in Output */
        writel(ATMEL_PMX_AA_TXD2, &pio->pioa.oer);
 
        writel(pin, &pio->piod.odr);
        writel(pin, &pio->piod.owdr);
 
-       /* Enable Ctrlc */
-       console_init_f();
-
        gd->bd->bi_arch_number = MACH_TYPE_VL_MA2SC;
        /* adress of boot parameters */
        gd->bd->bi_boot_params = CONFIG_SYS_SDRAM_BASE + 0x100;
 
 
 int board_init(void)
 {
-       /* Enable Ctrlc */
-       console_init_f();
-
 #ifdef CONFIG_AT91SAM9G10EK
        /* arch number of AT91SAM9G10EK-Board */
        gd->bd->bi_arch_number = MACH_TYPE_AT91SAM9G10EK;
 
 
 int board_init(void)
 {
-       /* Enable Ctrlc */
-       console_init_f();
-
        /* arch number of AT91SAM9M10G45EK-Board */
 #ifdef CONFIG_AT91SAM9M10G45EK
        gd->bd->bi_arch_number = MACH_TYPE_AT91SAM9M10G45EK;
 
 
 int board_init(void)
 {
-       /* Enable Ctrlc */
-       console_init_f();
-
        /* arch number of AT91SAM9RLEK-Board */
        gd->bd->bi_arch_number = MACH_TYPE_AT91SAM9RLEK;
        /* adress of boot parameters */
 
 
 int board_init(void)
 {
-       /* Enable Ctrlc */
-       console_init_f();
-
        /* adress of boot parameters */
        gd->bd->bi_boot_params = CONFIG_SYS_SDRAM_BASE + 0x100;
 
 
 
 int board_init(void)
 {
-       /* Enable Ctrlc */
-       console_init_f();
-
        /* adress of boot parameters */
        gd->bd->bi_boot_params = CONFIG_SYS_SDRAM_BASE + 0x100;
 
 
 
 int board_init(void)
 {
-       /* Enable Ctrlc */
-       console_init_f();
        /* arch number of CPUAT91-Board */
        gd->bd->bi_arch_number = MACH_TYPE_CPUAT91;
        /* adress of boot parameters */