free up pd kernel objects
show EC 'die' messages when TRACE_ERROR is set
revoke left over mappings before destruction of pd
free up left over pte entries of a pd
kernel resource usage statistics

Signed-off-by: Alexander Boettcher <alexander.boettcher@genode-labs.com>
dump resource statistics during oom of kernel