MoltenVK has its own scheme for assigning a PCI device ID to the AGX GPUs. I wonder if it wouldn't be worth attempting to emulate that in case apps try to match the ID from Vulkan to this one.
[They used to, but now they just use the device feature set plus the OS version](https://github.com/KhronosGroup/MoltenVK/commit/df043487e4711fe61e39a282c7c4...). I'm a bit worried about sticking the OS version on top like they do, since PCI device IDs are normally 16-bit, but maybe that would work out fine?
This is also producing a build failiure on macOS 10.14
Do we need things built on 10.14 to run on M1 Macs (which don't support 32-bit)? If not, I can just ifdef it out in that case. Otherwise, I can try defining those symbols manually.