Include additional contributors in kernel/main.c