treewide: Change doubled ";;" to single ";" in C code.