Merge "Output debug kernel prebuilt files to dist kernel/*-debug folder" am: eec923d0ed am: c872455d1d

Original change: https://android-review.googlesource.com/c/device/generic/common/+/2020596

Change-Id: Id1103ee0668e1ce464cefd5d3cd72573ee0691ef