I checked the bootlog.txt and I see cmd gets 3 and 2
for the on-board VGA, Bus
Mastering is never enabled by coreboot. Is 7 the right value? Why does the
bootlog say this:
PCI: 01:00.0 cmd <- 03
PCI: 01:00.1 cmd <- 02
Yes but in reality the IO decode is not set for some reason.
OK, so it works for you without the patch?
The linux messages are odd, since coreboot does assign
the resources to the
devices correctly. Maybe something is changing the PCI-PCI bridge windows after
coreboot is done? Like, maybe, seabios? Just a guess :)
No seabios is not reconfiguring PCI if set to coreboot.
I don't know about the HD Audio problem.
OK, please tell what works for you!
For a reference here is current list: