[SeaBIOS] [PATCH 3/3] Add support for 32bit PCI BIOS entry