diff --git a/sys/dev/usb/controller/xhci.h b/sys/dev/usb/controller/xhci.h
index d0f278caffd..c7610bb35e4 100644
--- a/sys/dev/usb/controller/xhci.h
+++ b/sys/dev/usb/controller/xhci.h
@@ -321,7 +321,7 @@ struct xhci_dev_endpoint_trbs {
 };
 
 #if (USB_PAGE_SIZE < 4096)
-#error "The XHCI driver needs a pagesize above 4K"
+#error "The XHCI driver needs a pagesize above or equal to 4K"
 #endif
 
 /* Define the maximum payload which we will handle in a single TRB */