cleanups

Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
procfs: simplify

Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
procfs: Fix memory leak

Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
Revert "procfs: simplify"

This reverts commit 0b806bf130d7fd059db22a02cfdd9a3818c836cd.
procfs: virtual dtor

Spotted by Avi.

Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>