diff --git a/src/add-ons/kernel/drivers/ports/pc_serial/Driver.cpp b/src/add-ons/kernel/drivers/ports/pc_serial/Driver.cpp
index 69de6ed127..e5afb3b727 100644
--- a/src/add-ons/kernel/drivers/ports/pc_serial/Driver.cpp
+++ b/src/add-ons/kernel/drivers/ports/pc_serial/Driver.cpp
@@ -526,8 +526,10 @@ scan_isa_hardcoded()
 
 	for (i = 0; i < 4; i++) {
 		// skip the port used for kernel debugging...
-		if (sHardcodedPorts[i].ioBase == gKernelDebugPort)
+		if (sHardcodedPorts[i].ioBase == gKernelDebugPort) {
+			TRACE_ALWAYS("Skipping port %d as it is used for kernel debug.\n", i);
 			continue;
+		}
 
 		SerialDevice *device;
 		device = new(std::nothrow) SerialDevice(&sSupportedDevices[0],