Make size of console_cmdline configurable