well... if you use either the composite or hdmi monitor (with useful tvservice -n-output) and the right one is already connected at the boot time (hotplugging won't change anything because the config.txt is read once at boot) you can probably use the [EDID=*]-filter in the config.txt!
please have a look at the real good Raspberry Pi documentation for the config.txt:
at the end there is a section about the filters (also the [EDID=*]-filter), and then you have to sort out your desired configurations for your hdmi monitor... the [all]-settings will be for the composite.
if you are not using always he same hdmi monitor you have to try multiple [EDID=*]-filters.