Hi,
Thanks. Looks like that set of options would have broken the build even prior to the vga patch series.
There was no reason to try though ;)
I can fix the compilation with the patch below, but it wont actually permit the vgabios to use the debug_io support.
Reasonable.
cheers, Gerd