Is it possible to configure wscons (/dev/console) to 80x25 on a PC without modifying the kernel? I've tried a few options in wscons.conf as well as in boot.cfg but don't seem to be able to change the mode.