Merge "Remove obsolete option BOARD_COPY_BOOT_IMAGE_TO_TARGET_FILES" am: 16b3c1905c am: c7ed5b995d

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

Change-Id: Ie54f5a766226a251ca27b03cc2dad9b2123d842e