user: remove unused tracebuffer
user: unify the licensing terms about L4/pistachio