Kernel/Makefile: parallel build

[dfffffff]

What about this fix for the parallel build, fixes also the kernel recompiling each time:

diff --git a/Kernel/Makefile b/Kernel/Makefile
index 7bb3b6c..4172d1f 100644
--- a/Kernel/Makefile
+++ b/Kernel/Makefile
@@ -129,12 +129,14 @@ usermem_std-z180.rel: usermem_std-z180.s usermem_std-z80.s

 lowlevel-z180.rel: lowlevel-z180.s lowlevel-z80.s

-target: include/kernel.h
+platform:
    -rm -f platform
    ln -sf platform-$(TARGET) platform
+
+target: include/kernel.h | platform
    +$(MAKE) -C platform-$(TARGET)

-#$(OBJS): target
+$(OBJS): | platform

 $(CSRCS): include/kernel.h

[EtchedPixels]

Applied seems to work for me