add selection of console driver for ifxmips