Re: user settable preferences for a kext