user: unify the licensing terms about L4/pistachio