sandbox-smaccm: Simplify eChronos task support code by just using TaskId instead of dummy handles