user: Remove unused user space code

Pager now is the standard and unified interface for
resource management in user space.  Some user code is
obsolete and no longer needed anymore.