Index: /trunk/src/VBox/Devices/Network/DevPCNet.cpp
===================================================================
--- /trunk/src/VBox/Devices/Network/DevPCNet.cpp	(revision 32966)
+++ /trunk/src/VBox/Devices/Network/DevPCNet.cpp	(revision 32967)
@@ -2636,5 +2636,5 @@
          * CSR0.TINT right after it was set by the device. The driver waits until
          * CSR0.TINT is set again but this will never happen. So prevent clearing
-         * this bit as long as the driver didn't read it. */
+         * this bit as long as the driver didn't read it. xtracker #5288. */
         pThis->aCSR[0] |= 0x0200;    /* set TINT */
         /* Don't allow the guest to clear TINT before reading it */