Time-out implementation for HelenOS