Re: [PATCH] console: Use flush() before panic and reset