diff --git a/Library/OcAppleKernelLib/CpuidPatches.c b/Library/OcAppleKernelLib/CpuidPatches.c
index a9af9edefd8..77a749abb9d 100644
--- a/Library/OcAppleKernelLib/CpuidPatches.c
+++ b/Library/OcAppleKernelLib/CpuidPatches.c
@@ -1658,6 +1658,7 @@ PatchProvideCurrentCpuInfo (
   }
   // For all other processors
   else {
+    DEBUG ((DEBUG_INFO, "OCAK: Setting FSB and TSC for Family 0x%x and ExtFamily 0x%x\n", (UINT16)CpuInfo->Family, (UINT16)CpuInfo->ExtFamily));
     busFreqValue    = CpuInfo->FSBFrequency;
     busFCvtt2nValue = DivU64x64Remainder ((1000000000ULL << 32), busFreqValue, NULL);
     busFCvtn2tValue = DivU64x64Remainder (0xFFFFFFFFFFFFFFFFULL, busFCvtt2nValue, NULL);
diff --git a/Library/OcMainLib/OpenCoreKernel.c b/Library/OcMainLib/OpenCoreKernel.c
index 05442d8f70b..7c7db0ffed7 100644
--- a/Library/OcMainLib/OpenCoreKernel.c
+++ b/Library/OcMainLib/OpenCoreKernel.c
@@ -492,6 +492,12 @@ OcKernelLoadKextsAndReserve (
   for (Index = 0; Index < Config->Kernel.Force.Count; Index++) {
     Kext = Config->Kernel.Force.Values[Index];
 
+  DEBUG ((
+    DEBUG_VERBOSE,
+    "OC: Load and reserve forced Kext %a\n",
+    OC_BLOB_GET(&Kext->BundlePath)
+    ));
+
     OcKernelLoadAndReserveKext (
       Kext,
       Index,
@@ -513,6 +519,12 @@ OcKernelLoadKextsAndReserve (
   for (Index = 0; Index < Config->Kernel.Add.Count; Index++) {
     Kext = Config->Kernel.Add.Values[Index];
 
+  DEBUG ((
+    DEBUG_VERBOSE,
+    "OC: Load and reserve Kext %a\n",
+    OC_BLOB_GET(&Kext->BundlePath)
+    ));
+
     OcKernelLoadAndReserveKext (
       Kext,
       Index,