diff --git a/src/system/kernel/scheduler/scheduler_cpu.cpp b/src/system/kernel/scheduler/scheduler_cpu.cpp
index 753f9b30bd..f1a5b5e377 100644
--- a/src/system/kernel/scheduler/scheduler_cpu.cpp
+++ b/src/system/kernel/scheduler/scheduler_cpu.cpp
@@ -263,6 +263,11 @@ CPUEntry::_RequestPerformanceLevel(ThreadData* threadData)
 {
 	SCHEDULER_ENTER_FUNCTION();
 
+	if (gCPU[fCPUNumber].disabled) {
+		decrease_cpu_performance(kCPUPerformanceScaleMax);
+		return;
+	}
+
 	int32 load = std::max(threadData->GetLoad(), fCore->GetLoad());
 	ASSERT(load >= 0 && load <= kMaxLoad);