Then, he can bring his passport and the I-90 receipt notice too the local USCIS office to get the green card stamp on the passport and use the stamp for travel.