Seems like I had another fix in my system. On 5.0, the vmnet1 in
$LINUXBASE/dev had a different device minor than the cloned one
in /dev/vmnet1. Thus delete the one in $LINUXBASE and link it
to the devfs one to have everything right.
This fixes the port on my fresh installed 5.0-RELEASE box.