diff --git a/rEFIt_UEFI/Platform/kernel_patcher.cpp b/rEFIt_UEFI/Platform/kernel_patcher.cpp
index deae241dd..0ec722a56 100644
--- a/rEFIt_UEFI/Platform/kernel_patcher.cpp
+++ b/rEFIt_UEFI/Platform/kernel_patcher.cpp
@@ -603,12 +603,13 @@ BOOLEAN KernelPatchPm(VOID *kernelData, LOADER_ENTRY *Entry)
   }
 
   DBG_RT(Entry, "Patching kernel power management...\n");
+
   for (; Ptr < End; Ptr += 2) {
     // check for xcpm_scope_msr common 0xE2 prologue
     // E2000000 XX000000 00000000 00000000 00040000 00000000
     // 10.8/10.9: 02,0C,10
     // E2000000 XXXX0000 00000000 00000000 0F040000 00000000
-    // 10.10/10.12: 0200,4C00,9001, 10.11: 0200,4C00,9013, 10.13-10.15.3: 4C00,9033,0040
+    // 10.10: 0200,4C00,9001, 10.11: 0200,4C00,9013, 10.12: 4C00,9033, 10.13-10.15.3: 4C00,9033,0040
     // E2000000 XXXXXX00 00000000 00000000 0F040000 00000000
     // 10.15.4+: 4C0000,903306,004000