Make build_pandaboard_image.sh use global ARM_GCC