It's no longer needed.

Bug: chromium:947060
Change-Id: Id06b691fa99572f7a763176a21705c5afa7ab2d0
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/1609957
Auto-Submit: Nico Weber <thakis@chromium.org>
Commit-Queue: Yang Guo <yangguo@chromium.org>
Reviewed-by: Yang Guo <yangguo@chromium.org>
Cr-Commit-Position: refs/heads/master@{#61453}