HDMI RX: GXB rx_coreclkin and rx_pma_clk showing 600 MHz instead of 300 MHz (and failing timing)

I have an two-port HDMI RX-only design, with all the RX code copied from the example design. However, apparently there's something I didn't copy correctly because there is a 2x difference in the clo...