[SeaBIOS] [PATCH 1/2] Separate out 16bit PCI-BIOS entry point from regular int 0x1a entry point.