On low settings/720p for 30fps, maybe. Console settimgs . The port is so optimized it could do that. I wouldn't expect 60fps, though
I would be he could get above 30fps assuming he has an HD4000. I would guess at the least it would be about equal to the console performance the HD4000 actually isn't terrible as far as integrated graphics go.