I have bought a (active) BENFEI VGA to HDMI adapter for 13€ on Amazon.
It works well when I am in Windows.
But it doesn't work when I am in the BIOS. It seems to be a common issue with such adapters.
Does anyone know a VGA to HDMI (or DVI) adapter which also works in the BIOS?