“bcmrpi3_defconfig” isn’t provided for arm32, so we need to use bcm2709_config. When on arm64, we can still use bcmrpi3_defconfig
