AMD SEV firmware binaries.
