Idiomatic Haskell would probably use eg Software Transactional Memory for concurrency; but that would be too high level for the kernel.

A Haskell-like language for kernel development would lean heavily on linear typing. Some prototypes have been made and used.