Merge v8 from https://chromium.googlesource.com/a/external/v8.git at 940f9ef807bc1a3e1df7a05e3ac519b0004142fa

This commit was generated by merge_from_chromium.py.

Change-Id: I48158aab3689d723b4f4c95069e8016db855ba15