[coreboot] Gigabyte M57SLI-S4 Interrupt Fix

[Rudolf Marek]

Hi.

Maybe you can extend the ck804 wiki page with that regs info?

And/or document it in the code?

Thanks,
Rudolf