[SeaBIOS] [PATCH 0/3] Redesign of pciinit.c