kernel depends on kore