[SeaBIOS] [PATCH] acpi: LNKS is not needed

[Kevin O'Connor]

On Tue, Aug 07, 2012 at 03:01:29PM +0200, Paolo Bonzini wrote:
> LNKS is a bit strange in that it reuses the same PIIX register as LNKA,
> but has a different interrupt.  This means that the _CRS it returns will
> not be one of the possible resources from _PRS.  This shows up in the
> Linux boot logs as
> 
>    ACPI: PCI Interrupt Link [LNKS] (IRQs 9) *0
> 
> Instead of that, we can simply use a hardwired interrupt index.

I fixed the missing comma and committed this patch.

-Kevin