[PATCH] vgacon: drop unused vga_init_done