If you did partition all core resources between SMT threads, it seems like the end result would be exactly what was called "rentable units" above, i.e. you could convert a high-performance core into two lower-performance cores. Then again, it cannot be easy to ensure that there are no remaining side channels whatsoever.