Make kernel load right binary

Author: maxdev1

kernel/src/kernel/kernel.cpp

@@ -225,7 +225,7 @@ void kernelInitializationThread()
 	kernelSpawnService("/applications/ps2driver.bin", "", G_SECURITY_LEVEL_DRIVER);
 
 	G_PRETTY_BOOT_STATUS_P(80);
-	kernelSpawnService("/applications/windowserver.bin", "", G_SECURITY_LEVEL_APPLICATION);
+	kernelSpawnService("/applications/fenster.bin", "", G_SECURITY_LEVEL_APPLICATION);
 	// G_PRETTY_BOOT_STATUS_P(80);
 	// kernelSpawnService("/applications/terminal.bin", "--headless", G_SECURITY_LEVEL_DRIVER);