A few good reasons, the first being that brand new operating systems don't get written all that often. But even if they were, functional languages focus a lot on abstractions, making them generally higher level languages and so not fast enough to compete with C.
Having said that, Rust's design is quite inspired by functional languages in many ways, and it is indeed being used in operating systems.