Re: [Etherboot-developers] CONSOLE_DIRECT_VGA: direct video output support

[<ke...@et...>]

Checked into 5.3. Will appear in 5.3.2, then maybe 5.2.2.