Fiasco & L4 boot performance