Fixed a small dependency bug in kernel!