I can confirm that changing “pcie3” to “disabled” in the .dts file results in a relatively large drop in idle power consumption, to 1.55 watts when combined with marking “cdns3” disabled and adding a 200 MHz operating point. The chip runs significantly cooler (as measured by thermal_zone0) in this configuration than the default (about 41 C as opposed to 60 C or higher).
