Interesting, I hadn't even realized we had one. Any reason not to make /etc/init.d/console use font=iso01.f16 by default?