PAX size overflow false positive in usbdev_read?