FWIW, Debian (upstream qemu following) now finally switched to vgabios from seabios (so bochs lgpl vgabios isn't used anymore), and seavgabios now have the resolutions mentioned - it looks like we've added these based on the patch for bochs vgabios mentioned here.
FWIW, Debian (upstream qemu following) now finally switched to vgabios from seabios (so bochs lgpl vgabios isn't used anymore), and seavgabios now have the resolutions mentioned - it looks like we've added these based on the patch for bochs vgabios mentioned here.