Confusing RPI2 kernel options

[bob prohaska]

On an RPI2 running 11-CURRENT  /usr/src/sys/arm/conf/RPI2 contains:

# Comment following lines for boot console on serial port
device          vt
device          kbdmux
device          ukbd

but in fact there _is_ a serial console and the options
are _not_ commented. 

I realize the USB keyboard isn't expected
to work, but it seems odd that the serial console does
work given the description. Do I misunderstand something? 

Thanks for reading,

bob prohaska