kernel: allow specifying kernel images to be copied separately from kernel make comma...