/config/submodule/coreboot/default/arm-trusted-firmware/