diff --git a/Kernel/KBuffer.h b/Kernel/KBuffer.h
index 8a136bc32c4..ccedfa2f17f 100644
--- a/Kernel/KBuffer.h
+++ b/Kernel/KBuffer.h
@@ -64,7 +64,7 @@ public:
         auto new_region = MM.allocate_kernel_region(page_round_up(new_capacity), m_region->name(), m_region->access(), m_allocation_strategy);
         if (!new_region)
             return false;
-        if (m_region && m_size > 0)
+        if (m_size > 0)
             memcpy(new_region->vaddr().as_ptr(), data(), min(m_region->size(), m_size));
         m_region = new_region.release_nonnull();
         return true;
diff --git a/Kernel/Scheduler.cpp b/Kernel/Scheduler.cpp
index a5daf526f73..850553b157e 100644
--- a/Kernel/Scheduler.cpp
+++ b/Kernel/Scheduler.cpp
@@ -460,7 +460,7 @@ Process* Scheduler::colonel()
 
 UNMAP_AFTER_INIT void Scheduler::initialize()
 {
-    VERIFY(&Processor::current() != nullptr); // sanity check
+    VERIFY(Processor::is_initialized()); // sanity check
 
     RefPtr<Thread> idle_thread;
     g_finalizer_wait_queue = new WaitQueue;