x86/pci: Use resource_size_t in update_res