problem with booting SMP linux kernel

[Gin]

>bad mp table would be my guess.


I think the I/O APICs are incorrectly assigned to buses. From the kernel
messages, devices on bus 0 are transformed to high IRQs. 

Can anyone one confirm that the mptable.c under src/tyan/s2735 is a good
one to boot SMP linux kernel? I might need to manually construct the MP
table for my board according to a good one.


Thanks,
gin