Merge v8 from https://chromium.googlesource.com/v8/v8.git at 5815eef91b345b01819b7866e9498e8f0fe00af1

This commit was generated by merge_from_chromium.py.

Change-Id: Iccd9a0e18dd29fb6dcbddb722a12215e112fc95b