There are OSes out there that are easy to study, extend and modify even in C. Some are even specially designed for such purposes, like, say, Minix.

Go is not that simpler compared to C -- and the parts where it IS simpler (e.g GC) make it less good for an OS. It would have been a slow, proof-of-concept thing, of little value.