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:
http://www.coreboot.org/ASUS_F2A85-M
Thanks Rudolf