It might be time to consider some new hardware. That machine is going on 15 years old now!

To be honest, if a 15 year old machine is still working fine for somebody, and h.264 is fine (if you don't care about HDR/4k, it really sort of is!), I'm not sure the benefit of suggesting somebody junk a machine

I have considered, but so far there's no other hardware which has this form-factor with Libreboot support (although I'm unsure whether the X230 has x265 hw accel)