From Jeff.Wiedemeier@hp.com:

Adjust Alpha HARDIRQ_BITS check to make sure there is enough
room for each IPL, not each interrupt (Marvel can have
too many unique device interrupts for that, and it really
only needs to cover potential nesting of interrupts, which covering
the IPLs does)