Enable SCSI_getprocentry() on non-Linux platforms which now should be