08:27 trevor 

Remove expired linux_base-6 port.

00:29 trevor 

Lars Eggert reports:

        Installation of linux_base-7.1_2 fails when linprocfs is
        mounted.  Unmounting linprocfs before installing works
        around the issue.

At Lars' suggestion, this script also mounts the linprocfs after
installation.  I assume that if the user has a linprocfs entry in
/etc/fstab, the user wants it to be mounted.  It also seemed like
a good idea to un-mount it before de-installation.

PR:     46172