[SeaBIOS] [PATCH 2/4] smm: Don't use PCIDevices list in smm_setup().