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

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

Change-Id: I0650eaa1ed6e8634058b9acb6eaa7a743ec0f0cc