make kernel_timeout configurable in terminal console