Yes, the VESA driver does it already. But I do't know if that implementationI tried that i kept (200, 200) but no success same hang at same place.
is suitable for HDMI on the Pi?
Also, it may be a bit early to worry about this. Maybe just hardcode a lower
resolution for now and try to at least get the system booting?