--- bc109c70648677829584ce702d6d32d9e7953996
+++ 044dcb8177587bc2489e4f62951fa2cc2cba68de
@@ -806,6 +806,8 @@ static noinline int init_post(void)
 	system_state = SYSTEM_RUNNING;
 	numa_default_policy();
 
+	print_scheduler_version();
+
 	if (sys_open((const char __user *) "/dev/console", O_RDWR, 0) < 0)
 		printk(KERN_WARNING "Warning: unable to open an initial console.\n");