I'm sure it's possible I just don't know where I would get this information from. gfxutil can decode EFI device paths but the only one I know of is gfxutil -d IODeviceTree:/chosen boot-device-path to ...
After using Hackintool to build latest AtherosE2200Ethernet kext my system doesn't boot. When investigating the problem I found out that the culprit was AtherosE2200Ethernet.kext Then I downloaded the ...