[coreboot] How to assign a fixed resource to PCI BAR?