[kernel] Typo fixes.

TEST: No behavior change
Change-Id: I2ff1eb2e8daba447b3d6e5f1dda5f4f6ad6c9ff7
diff --git a/kernel/kernel/mp.cpp b/kernel/kernel/mp.cpp
index 876613d..d4a25e6 100644
--- a/kernel/kernel/mp.cpp
+++ b/kernel/kernel/mp.cpp
@@ -286,7 +286,7 @@
     return status;
 }
 
-// Unplug a single CPU.  Must be called while hodling the hotplug lock
+// Unplug a single CPU.  Must be called while holding the hotplug lock
 static zx_status_t mp_unplug_cpu_mask_single_locked(cpu_num_t cpu_id) {
     // Wait for |cpu_id| to complete any in-progress DPCs and terminate its DPC thread.  Later, once
     // nothing is running on it, we'll migrate its queued DPCs to another CPU.
diff --git a/kernel/lib/acpi_tables/include/lib/acpi_tables.h b/kernel/lib/acpi_tables/include/lib/acpi_tables.h
index afc14b4..6d757cc 100644
--- a/kernel/lib/acpi_tables/include/lib/acpi_tables.h
+++ b/kernel/lib/acpi_tables/include/lib/acpi_tables.h
@@ -40,7 +40,7 @@
     AcpiTables(const AcpiTableProvider* tables)
         : tables_(tables) {}
 
-    // Initialize the APIC Tables subsystem, this is seperate from initializing
+    // Initialize the APIC Tables subsystem, this is separate from initializing
     // the whole APIC subsystem and generally happens much earlier. Argument is
     // ignored.
     static void Initialize(uint32_t);
@@ -79,7 +79,7 @@
     zx_status_t NumInMadt(uint8_t type, uint32_t* count) const;
 
     // For each subtable of type run visitor.
-    // We can't take a std::function for the visitor because that can use dyamic
+    // We can't take a std::function for the visitor because that can use dynamic
     // memory.
     template <typename V>
     zx_status_t ForEachInMadt(uint8_t type, V visitor) const;