Re: [PATCH] vgacon: prevent vgacon from reloading