[coreboot] ACPI patches for Tyan s2895, s2892, s2891

[Rudolf Marek]

> Here's the same line from the factory BIOS:
> 
>     9:          0           0            0              0

Yes this how it should look like ;)


> I wish I knew more about interrupts.  I'm surprised how different the
> routing is for interrupts between the factory BIOS and Coreboot, but
> I've been assuming they're routed correctly.  I've attached
> /proc/interrupts from the factory BIOS.

Hmm perhaps the chipset is setup differently. Question is from where the IRQ9 
comes from. Maybe some ACPI timer, but it is hard to tell. Maybe it is HPET?
Can you switch off hpet again?

Rudolf