Hi,
Sorry for my delayed response.
Unfortunately there's no solution for IRQ7 other than doing polling on this pin (once configured as GPIO instead of IRQ).
However IRQ1 is not for Ethernet but for USB, so if you do not use USB, or if the signal USB_ALT_CLK is not always mandatory (I dont't know) you should be able to reuse it as IRQ1
Also IRQ3 and IRQ5 are used by Ethernet for PHY management through FEC_MDIO / FEC_MDC signals. However I'm not sure they are mandatory if you don't do some special PHY management.
Check the 52259 microcontroller documentation to make sure.