ATFSOURCE
- if/when we change `ATFSOURCE`, we want u-boot artifacts to be rebuilt
UBOOT_USE_GCC
KERNEL_USE_GCC
ATF_USE_GCC
get_urls()