Ubuntu 12.04 contains tuxonice-userui package (userspace utilities for TuxOnIce), but fails to provide tuxonice-patched kernels - making the former package useless.
What is the status of TuxOnIce in Ubuntu 12.04? Is it to be part of this distribution, or not? If yes, why kernels are missing, if not, what is tuxonice-userui doing here?