bricks/ev3: make make_bootable_image.py executable

This script is meant to be run as an executable.

Not all systems will have python, so we should explicitly use python3.

Author: dlech

bricks/_common/arm_none_eabi.mk

@@ -632,7 +632,7 @@ UBOOT_FILE = $(PBTOP)/bricks/ev3/u-boot.bin
 MAKE_BOOTABLE_IMAGE = $(PBTOP)/bricks/ev3/make_bootable_image.py
 # For EV3, merge firmware blob with u-boot to create a bootable image.
 $(BUILD)/firmware-base.bin: $(BUILD)/uImage
-	python $(MAKE_BOOTABLE_IMAGE) $(UBOOT_FILE) $(BUILD)/uImage $(BUILD)/firmware-base.bin
+	$(Q)$(MAKE_BOOTABLE_IMAGE) $(UBOOT_FILE) $(BUILD)/uImage $(BUILD)/firmware-base.bin
 else
 # For embeded systems, the firmware is just the base file.
 $(BUILD)/firmware-base.bin: $(BUILD)/firmware-obj.bin

bricks/ev3/make_bootable_image.py

@@ -1,3 +1,6 @@
+#!/usr/bin/env python3
+# SPDX-License-Identifier: MIT
+
 import argparse
 
 # Expected layout of the firmware image: