Hi
What does it mean not available? Maybe you can check if you programmed ELCR register to edge for IRQ4.
You can't share the IRQ4 with PCI IRQ I think thats why it does not work.
You need to route the the PIRQA to something else, like IRQ3.
Thanks Rudolf