[how to use IRQ 5 for pcmcia card, and not 3?]

Set  bits 10 and 5 in PCIC_INTR_ALLOCMASK, , and clear bit 3.