Confirming the issues, the only changes I needed to do to make it to boot at my 4460 again:
-CONFIG_SCHED_MC=y
-CONFIG_SCHED_SMT=y
+# CONFIG_SCHED_MC is not set
+# CONFIG_SCHED_SMT is not set
So can you try to enable SCHED_MC to see if you're able to reproduce the issue locally?
Confirming the issues, the only changes I needed to do to make it to boot at my 4460 again:
-CONFIG_SCHED_MC=y
-CONFIG_SCHED_SMT=y
+# CONFIG_SCHED_MC is not set
+# CONFIG_SCHED_SMT is not set
So can you try to enable SCHED_MC to see if you're able to reproduce the issue locally?