[SeaBIOS] [PATCH 2/6] pci: don't map usb host adapters above 4G