kernel: Fix missing ;