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

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

Change-Id: I79005d73fd1f0bf7a25df94a28535da447c7d365