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