[meta-xilinx] 2nd ethernet port not detected

[Edward Wingate]

I have 2 ethernet devices on my custom Zynq board, but Linux only
detects 1 of them.

[    1.832276] macb e000b000.ps7-ethernet eth0: Cadence GEM at
0xe000b000 irq 54 (00:0a:35:00:01:22)
[    1.841161] macb e000b000.ps7-ethernet eth0: attached PHY driver
[Marvell 88E1510] (mii_bus:phy_addr=e000b000.ps7-eth:00, irq=-1)

eth0 seems to work fine. I can ssh into the board.
There are no corresponding messages for eth1.

My device tree for the ethernet devices looks like this:

ps7_ethernet_0: ps7-ethernet at e000b000 {
    phy-handle = <&phy0>;
    phy-mode = "rgmii-id";
    phy0: phy at 0 {
        compatible = "marvell,88e1518";
        device_type = "ethernet-phy";
        reg = <0>;
    } ;
} ;

ps7_ethernet_1: ps7-ethernet at e000c000 {
    phy-handle = <&phy1>;
    phy-mode = "rgmii-id";
    phy1: phy at 8 {
        compatible = "marvell,88e1518";
        device_type = "ethernet-phy";
        reg = <8>;
    } ;
} ;

Is putting this information in the device tree all that's needed?  The
PHY address of 8 is what is configured in Vivado for the 2nd ethernet
port.

Thanks for your help.