source "src/cpu/armltd/cortex-a9/Kconfig"