[seL4] Exposing TSD on x86