doc: boot/config.txt options for hdmi-to-vga