Pi 4, are all hdmi_* options now ignored in config.txt?