I think the only other OpenBSD architecture that supports any SMT chips is sparc64 (like the US T1/T2). Unless an actual vulnerability is found, I don't see other OSes following this lead
https://www.blackhat.com/us-18/briefings/schedule/#tlbleed-w...