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

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