Have you tried booting with the 'irqpool' kernel option as suggested
by the error message?

--Peter