Not especially relevant, as the obvious use of AV1 on the AppleTV is streaming, and the OS frameworks don't request AV1 without hardware decoding. Services which provide their own video decoding (are there any?) don't seem interested providing their own software decoder for the ATV, despite the bandwidth savings.