diff --git a/base-nova/src/core/thread_start.cc b/base-nova/src/core/thread_start.cc
index 4589ee6557..d50c355f79 100644
--- a/base-nova/src/core/thread_start.cc
+++ b/base-nova/src/core/thread_start.cc
@@ -49,7 +49,6 @@ void Thread_base::_init_platform_thread()
 
 void Thread_base::_deinit_platform_thread()
 {
-	unmap_local(Nova::Obj_crd(_tid.sc_sel, 0));
 	unmap_local(Nova::Obj_crd(_tid.ec_sel, 0));
 	unmap_local(Nova::Obj_crd(_tid.rs_sel, 0));
 }