l4/pkg/valgrind/TODO

   1 * check aspacemem combinations:
   2     attach_area -> detach
   3   for Node use (if there is no Node, it may not always be an orig_rm
   4   mapping, but it can also be a reserved area without any ds attached
   5   to it)
   6 * check use of own elf parser vs. Valgrind's