again, on some platforms which are broken, in mainboard.c, I just force the value of the 0x3c byte register for each device which needs an IRQ, the force the interupt router settings. ron