build_sdk: fix config overriding#563

midnightveil merged 2 commits into

seL4:mainseL4/microkit:mainfrom

au-ts:julia/fix-config-generation-orderau-ts/microkit:julia/fix-config-generation-orderCopy head branch name to clipboard