Merge commit '226c5039c79b0392c3a5deab193a4ac97a7634d7' as 'third_party/eigen'

Change-Id: I36845cfdff4ce53a1c460c5fe79318722ec43d70