Index: head/share/man/man4/syscons.4
===================================================================
--- head/share/man/man4/syscons.4
+++ head/share/man/man4/syscons.4
@@ -26,7 +26,7 @@
 .\"
 .\" $FreeBSD$
 .\"
-.Dd July 3, 2014
+.Dd June 21, 2016
 .Dt SYSCONS 4
 .Os
 .Sh NAME
@@ -468,9 +468,10 @@
 .Ql sc
 or
 .Ql vt .
-If not set,
-.Nm
-provides the default system console.
+If not set, the default console in the
+.Pa GENERIC
+kernel is
+.Xr vt 4 .
 .El
 .Sh FILES
 .Bl -tag -width /usr/share/syscons/xxxxyyyyzzz -compact
Index: head/share/man/man4/vt.4
===================================================================
--- head/share/man/man4/vt.4
+++ head/share/man/man4/vt.4
@@ -24,7 +24,7 @@
 .\"
 .\" $FreeBSD$
 .\"
-.Dd April 17, 2016
+.Dd June 21, 2016
 .Dt "VIRTUAL TERMINALS" 4
 .Os
 .Sh NAME
@@ -200,12 +200,11 @@
 .Ql vt
 or
 .Ql sc
-to override the default driver used for the system console.
-By default,
-.Xr sc 4
-is used on computers that boot from BIOS, and
-.Nm
-is used on computers that boot from UEFI.
+to choose a specific system console, overriding the default.
+If not set, the default in the
+.Pa GENERIC
+kernel is
+.Nm .
 .It Va kern.vt.fb.default_mode
 Set this value to a graphic mode to override the default mode picked by the
 .Nm