Fix my lazy typos.

Change-Id: I21df59fb83d3caf3e006dcdec02bdac126b7f208
diff --git a/inc/hf/arch/console.h b/inc/hf/arch/console.h
index 94cbaba..5118638 100644
--- a/inc/hf/arch/console.h
+++ b/inc/hf/arch/console.h
@@ -16,5 +16,5 @@
 
 #pragma once
 
-/** Put a single character on the console. */
+/** Puts a single character on the console. */
 void arch_putchar(char c);