amd64: sync AMD64_GENERIC and platform/files with i386