bootloader_install: Copy ARM kernel from 'vmlinuz'

Copying from 'vmlinuz-*' has problems when multiple
kernels are available: With multiple glob matches,
a bad 'cp' command line will be formed.

'vmlinuz' should always point to the default kenrel anyways.
This is consistent with what is done on amd64 architecture.

In GDCE, we build a real-time kernel and a vanilla kernel,
with the vanilla kernel symlinked as 'vmlinuz'.

BUG=b/283954538
TEST=`build_image --board=gmec-arm64-hw` (code to be committed)
RELEASE_NOTE=None

Change-Id: Ifd519cb40bf54ba073dad51f952e5b5a35e65f26
Reviewed-on: https://cos-review.googlesource.com/c/cos/overlays/board-overlays/+/49830
Tested-by: Cusky Presubmit Bot <presubmit@cos-infra-prod.iam.gserviceaccount.com>
Reviewed-by: Meena Shanmugam <meenashanmugam@google.com>
1 file changed