There would be a lot of factors involved in properly answering this question..
1. How soon after the kernel is loaded would the kernel extension responsible be loaded?
If it's not fast enough, the system would panic, and the point would be moot.
2. Is there justification enough for it?
IMHO not really, because as Valentine already stated, Voodoo is acceptable enough for the vast majority of AMD users, and if not, they would need excellent reasoning behind it to get a talented enough developer to *make* the kernel extension, again provided that the first factor I mentioned above were satisfied.
3. Is there enough basic support for an AMD processor to use the native kernel to execute the libsa ( "stand-alone library" ) before the kextd (kext daemon, loads kexts into the kernel) becomes available to actually LOAD the new theoretical extension?
I don't think so. To quote from Amit Singh's book "Mac OS X Internals":
QUOTE
During early stages of bootstrapping, kextd is not yet available. libsa provides a subset of kextd's capabilities to the kernel. Examples of specific functionality implemented by libsa for loading, linking, and recording kernel extension object files include the following:
- Simple memory allocation
- Binary searching
- Sorting
- Miscellaneous string-handling functions
- Symbol remangling
- A dependency graph package used while determining kernel extension dependencies
- Decompression of compressed kernels and verification of checksums
Long story short: I don't think it's practical when Voodoo already works, and I seriously doubt the native kernel's ability to not only use libsa properly with an AMD proc, but also to load the kextd and then the opcode patching provided by the "kext" in question.