spacing in kernel/main.mk fix