Tested multiboot bitfiles, one for each HDMI receiver, and it seems to work!