What is AMD kernel? The AMD graphics driver? Or is there a new x86_64 port to AMD CPUs? :)
According to Google, the only mention of "amd64" on developer.apple.com (excluding the forums) is here[1], where they refer to which Ubuntu image you should download to set up an Ubuntu VM on "Intel-based Mac computers".
[1] https://developer.apple.com/documentation/virtualization/cre...
Here's the official logo:
https://en.wikipedia.org/wiki/X86-64#/media/File:AMD64_Logo....