This incorporates feedback from
https://chromium-review.googlesource.com/c/v8/v8/+/1245766/12#message-16ceead795d0ca68d3c564b8900c152e8719ecd6
that got lost due to the code being moved to https://crrev.com/c/1254121.

Change-Id: I7b74dcd5e8ffe62770b32a7c000885e96db01657
Reviewed-on: https://chromium-review.googlesource.com/c/1256968Reviewed-by: Jaroslav Sevcik <jarin@chromium.org>
Commit-Queue: Tobias Tebbi <tebbi@chromium.org>
Cr-Commit-Position: refs/heads/master@{#56384}