added kernel with VGA output