[coreboot] [patch][v2] fix PCI routing on Geode 5536