[coreboot] Re: Disable a PCI device

[Jorge Fernandez Monteagudo]

Hi Peter, thanks for the info!
> Whether you can or not will depend on the capabilities of 00:00.0.
> Some have registers to block decoding for integrated devices.
> Sometimes they are documented. Sometimes not.

I've found a register to do what I want:
D0F0x7C IOC Configuration Control
bit 0 : ForceIntGfxDisable: internal graphics disable. Read-write. Setting this bit disables the internal graphics and the HD Audio Controller.

and it works :)