Re: IOPlatformDevice vs. IODTPlatformDevice