[PATCH] xilinx: Fix mdio bus description for vck190-sc