os/threading: Include `xrt_compiler.h` to fix missing stdint types.