About consuming time slice on l4linux