sourceipk: fix race condition with compileconfigs/multi-kernel