[SeaBIOS] [PATCH 6/6] 64bit PCI range in _CRS table