Kernel patch to work around deficiencies in usbmon