diff --git a/Platform/OpenCore/OpenCoreKernel.c b/Platform/OpenCore/OpenCoreKernel.c
index bd054fc6..f67c66f3 100644
--- a/Platform/OpenCore/OpenCoreKernel.c
+++ b/Platform/OpenCore/OpenCoreKernel.c
@@ -962,6 +962,7 @@ OcKernelFileOpen (
       if (DarwinVersion != mOcDarwinVersion || mUse32BitKernel != IsKernel32Bit) {
         //
         // Query command line arch= argument and fallback to SMBIOS checking.
+        // Arch argument will force the desired arch.
         //
         Status2 = OcAbcIs32BitPreferred (&mUse32BitKernel);
         if (EFI_ERROR (Status2)) {
@@ -1005,6 +1006,7 @@ OcKernelFileOpen (
             // Ensure we are now matching the requested arch.
             //
             if (mUse32BitKernel != IsKernel32Bit) {
+              DEBUG ((DEBUG_WARN, "OC: %a kernel architecture is not available, aborting.\n", mUse32BitKernel ? "32-bit" : "64-bit"));
               FreePool (Kernel);
               Status = EFI_INVALID_PARAMETER;
             }