Actually fix --kernel-source