fix config for kernel.ide project