pinebook_pro image fails to build

Hi Mara,

I'm trying to build the pinebook pro image on my Raspberry Pi 4 that runs Slarm64, but it keeps failing for some reason:

|info| start        build slarm64 ARCH aarch64
|info| clear        boot tools
|info| compiling    u-boot-tools next-dev::
|info| compiling    arm-trusted-firmware master:tag:v2.3
|err | details      /data/build/images_build_kit/build/source/build.log

build.log says the following:

  HOSTLD  tools/fit_check_sign
|----------- delimiter ----------- "compiling" "arm-trusted-firmware master:tag:v2.3" -----------|
  REALCLEAN
  CC      bl31/bl31_context_mgmt.c
  CC      bl31/bl31_main.c
  CC      bl31/interrupt_mgmt.c
  CC      common/runtime_svc.c
  CC      drivers/arm/cci/cci.c
  CC      drivers/arm/gic/v3/arm_gicv3_common.c
  CC      drivers/arm/gic/v3/gic500.c
  CC      drivers/arm/gic/v3/gicdv3_helpers.c
  CC      drivers/arm/gic/v3/gicrv3_helpers.c
  CC      drivers/arm/gic/v3/gicv3_helpers.c
  CC      drivers/arm/gic/v3/gicv3_main.c
  CC      drivers/delay_timer/delay_timer.c
  CC      drivers/delay_timer/generic_delay_timer.c
  CC      drivers/gpio/gpio.c
  CC      lib/cpus/errata_report.c
  CC      lib/el3_runtime/aarch64/context_mgmt.c
  CC      lib/el3_runtime/cpu_data_array.c
  CC      lib/extensions/spe/spe.c
  CC      lib/locks/bakery/bakery_lock_coherent.c
  CC      lib/psci/psci_common.c
  CC      lib/psci/psci_main.c
  CC      lib/psci/psci_mem_protect.c
  CC      lib/psci/psci_off.c
  CC      lib/psci/psci_on.c
  CC      lib/psci/psci_setup.c
  CC      lib/psci/psci_suspend.c
  CC      lib/psci/psci_system_off.c
  CC      plat/common/plat_gicv3.c
  CC      plat/rockchip/common/aarch64/platform_common.c
  CC      plat/rockchip/common/bl31_plat_setup.c
  CC      plat/rockchip/common/params_setup.c
  CC      plat/rockchip/common/plat_pm.c
  CC      plat/rockchip/common/plat_topology.c
  CC      plat/rockchip/common/rockchip_gicv3.c
  CC      plat/rockchip/common/rockchip_sip_svc.c
  CC      plat/rockchip/rk3399/drivers/dram/dfs.c
  CC      plat/rockchip/rk3399/drivers/dram/dram.c
  CC      plat/rockchip/rk3399/drivers/dram/dram_spec_timing.c
  CC      plat/rockchip/rk3399/drivers/dram/suspend.c
  CC      plat/rockchip/rk3399/drivers/gpio/rk3399_gpio.c
  CC      plat/rockchip/rk3399/drivers/pmu/m0_ctl.c
  CC      plat/rockchip/rk3399/drivers/pmu/pmu.c
make -C plat/rockchip/rk3399/drivers/m0 BUILD=/data/build/images_build_kit/build/source/arm-trusted-firmware/build/rk3399/release/m0
make[1]: Entering directory '/data/build/images_build_kit/build/source/arm-trusted-firmware/plat/rockchip/rk3399/drivers/m0'
  CC      src/dram.c
/data/build/images_build_kit/build/source/gcc-arm-9.2-2019.12-aarch64-arm-none-linux-gnueabihf/bin/arm-none-linux-gnueabihf-gcc -g -mcpu=cortex-m0 -mthumb -Wall -O3 -nostdlib -mfloat-abi=soft -ffunction-sections -fdata-sections -fomit-frame-pointer -fno-common -Iinclude/ -I../../include/shared/ -MMD -MT /data/build/images_build_kit/build/source/arm-trusted-firmware/build/rk3399/release/m0/dram.o -c src/dram.c -o /data/build/images_build_kit/build/source/arm-trusted-firmware/build/rk3399/release/m0/dram.o 
make[1]: /data/build/images_build_kit/build/source/gcc-arm-9.2-2019.12-aarch64-arm-none-linux-gnueabihf/bin/arm-none-linux-gnueabihf-gcc: Command not found
make[1]: *** [Makefile:125: /data/build/images_build_kit/build/source/arm-trusted-firmware/build/rk3399/release/m0/dram.o] Error 127
make[1]: Leaving directory '/data/build/images_build_kit/build/source/arm-trusted-firmware/plat/rockchip/rk3399/drivers/m0'
make: *** [plat/rockchip/rk3399/platform.mk:106: build/rk3399/release/m0/rk3399m0.bin] Error 2

I can see the command not found error message near the end but interestingly enough the executable seems to be there:

# ls -l /data/build/images_build_kit/build/source/gcc-arm-9.2-2019.12-aarch64-arm-none-linux-gnueabihf/bin/arm-none-linux-gnueabihf-gcc
-rwxr-xr-x 2 1000 1000 5206653 Dec  9  2019 /data/build/images_build_kit/build/source/gcc-arm-9.2-2019.12-aarch64-arm-none-linux-gnueabihf/bin/arm-none-linux-gnueabihf-gcc
#