amd64: micro-optimize vptopte()/vtopde() further
(cherry picked from commit e7c54421628231650d61edd90b271e6b5e322e36)