diff --git a/drivers/input/i8042prt/keyboard.c b/drivers/input/i8042prt/keyboard.c
index 198ec8f35d7..177443ea620 100644
--- a/drivers/input/i8042prt/keyboard.c
+++ b/drivers/input/i8042prt/keyboard.c
@@ -465,7 +465,6 @@ i8042KbdDeviceControl(
 		{
 			ERR_(I8042PRT, "IRP_MJ_DEVICE_CONTROL / unknown ioctl code 0x%lx\n",
 				Stack->Parameters.DeviceIoControl.IoControlCode);
-			ASSERT(FALSE);
 			return ForwardIrpAndForget(DeviceObject, Irp);
 		}
 	}