I was wrong. Players of clubs who finish 1st, 2nd or 4th in the CL groups can play for a different club in the EL in the same season.
So yeah, he would be able to play.
Further, as per Champions League regulation 17.18, one player per club who would normally be cup-tied can be registered and...