[SeaBIOS] [PATCH 0/7] Convert boot priority code to use 'struct pci_device'.