[SeaBIOS] [PATCH 00/10] Add PCI device cache