l4linux2.4 System Call Emulation question