Merge "Set min_sdk_version" am: 0906151502

Original change: https://android-review.googlesource.com/c/platform/external/eigen/+/2139193

Change-Id: Iedf4394587e11ac9ed3bb04281fa95708d799cb3
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>