[SeaBIOS] [PATCH] limit address space used for pci devices, part two