Is there any elegant way I can retrieve the video mode the system is
booted in right after bootup, other than grepping kmsg?
I propose /proc/vidinfo, containing for example "color\nEGA+\n132x44"
if that's what I boot up in (as a minimum), and that it be updated
upon each change of video mode.