kernel - reduce kern.maxvnodes default on 32 bit systems