[automerger skipped] Merge "Make device_kernel_headers available to recovery and vendor" am: fcf9979aa7

am: 5a6e89d092 -s ours
am skip reason: change_id Ia5d7b1a97926acbe4ba89df26aeb66fac6bbb1ab with SHA1 1a3b62757c is in history

Change-Id: Iea3e02e2561b97ea3ee1479815488e50ebdeb322
This commit is contained in:
Tao Bao
2019-05-09 15:32:35 -07:00
committed by android-build-merger

Diff Content Not Available