Yes, currently there is no hardware encoder/decoder for AV1, but there is for h264 on many processors. This may change in the future if companies and users adopt it.
Does x86/x64 have any? What's the name of one of the instructions (for example)? I feel like mostly all I see is just bigger vector instructions...