Less implicit declarations in kernel's main.c