gemini: copy kernel image to BIN_DIR