Re: [Kimchi-devel] [PATCH] [Kimchi] Use Wok session timeout value to configure serial console