Werk #7852: df: Filesystems of type devtmpfs are now ignored completely

Previously only the mountpoint /dev has been ignored explicitly by the check plugin. Now all mountpoints are ignored, that has the type devtmpfs. There is no reason to monitor these types anyway.

Previously discovered filesystems like /dev/tty need to removed manually after the agent has been updated.

To the list of all Werks