For $85, the Orange Pi 5 supports 8K hardware video encoding (H265/H264) via gstreamer, and that's just what I'm aware of. I'm sure there are other single-board computers with similar (or better) features.
Unless you're dependent on the Raspberry Pi HAT ecosystem or you're not particularly technical, it's worth considering the alternatives.
Unless you're dependent on the Raspberry Pi HAT ecosystem or you're not particularly technical, it's worth considering the alternatives.