Passing configurable parameters into a kext