mk: Remove a double word in a comment
(cherry picked from commit 8dcfb0282ddf28a16a29e56703009a839650e9c1)