[SeaBIOS] [PATCH 4/6] pci: tweak + comment minimum allocations