kernel - Fix bug in last commit