[coreboot] Interrupt mapping with NetBSD

[Andrey Korolyov]

Hello,

can anyone please provide a solid pointer for a 'patch' mentioned in
http://www.coreboot.org/NetBSD#Interrupt_routing? It looks like that
the even recent MPBIOS code in NetBSD kernel is not able to place all
interrupts correctly if coreboot is used with SeaBIOS payload, my
82577 does not work exactly because of that under this OS. The target
hardware is a well-supported X201 platform, if this can add more
sense.