[coreboot] Disable a PCI device

[Jorge Fernandez Monteagudo]

Hi,

Is there some way to disable a PCI device in coreboot using code to avoid to be listed once linux kernel is running?
I want the device '00:01.0 Class 0300: Device 1002:9874 (rev 84)' to dissapear from the lspci command if some
condition is met in the coreboot. I don't want to do it modifying the devicetree.cb... 
Now I'm using 'dev_set_enabled(vga_onboard, 0);' and is working ok avoiding the vgabios load but still apears the
device in lspci.

Thanks!
Jorge