[SeaBIOS] How to add support for PCIe bridge to coreboot on Baytrial SoC