Using SystemConfiguration API inside KEXT