[coreboot] How to support 256M VGA buffer size and [E0000000-F0000000]PCIE-HOLE in coreboot's dev_configure()?

[JasonZhao at viatech.com.cn]

There are some codes that deal with PCIE-HOLE in device.c:
	#if CONFIG_PCIE_CONFIGSPACE_HOLE
	#warning Handle PCIe hole differently...
			if (base >= 0xf0000000 && base < 0xf4000000) {
				base = 0xf4000000;
			}
	#endif

But these code do not work for my case.

My case is: PCI-e hole is 0xe0000000~0xf0000000, and VGA buffer size is
256MB.

So, if I use the below code (change 0xf000000~f4000000 to
0xe0000000~f0000000)
	#if CONFIG_PCIE_CONFIGSPACE_HOLE
	#warning Handle PCIe hole differently...
			if (base >= 0xe0000000 && base < 0xf0000000) {
				base = 0xf0000000;
			}
	#endif

Then at last the whole area 0xf0000000~0xffffffff will be set in to
VGA's BAR, which is obviously wrong. 

Any body has idea about this?  Many thanks!




-jasonzhao