Fix dep for kernel