I've got a 3 TB drive dedicated to backup a data partition and therefore I don't need the 5% reserved for the kernel. I found a command several days ago to shrink that space to a certain percentage but cannot remember what it was and evidently can't figure what the appropriate search term is to find it again. Anyone?