Re: Determining which kexts will be used at boot