[SeaBIOS] [PATCH 1/4] shadow: Don't use PCIDevices list in make_bios_readonly().