Determining which kexts will be used at boot