Index: kernel/arch/amd64/src/boot/boot.S
===================================================================
--- kernel/arch/amd64/src/boot/boot.S	(revision 873c681f49a8dbebb2bcd27d6e1686252a6e5dd7)
+++ kernel/arch/amd64/src/boot/boot.S	(revision ca8f84f28749a37bc03923e5f1b1de449c46816a)
@@ -192,5 +192,6 @@
  * some hints.
  *
- * @param %esi NULL-terminated string to print.
+ * @param %esi Pointer to the NULL-terminated string
+ *             to be print.
  *
  */
@@ -295,5 +296,6 @@
  * and CONFIG_FB is disabled.
  *
- * @param %esi NULL-terminated string to print.
+ * @param %esi Pointer to the NULL-terminated string
+ *             to be print.
  *
  */
@@ -450,5 +452,6 @@
  * then this function does nothing.
  *
- * @param %rdi NULL-terminated string to print.
+ * @param %rdi Pointer to the NULL-terminated string
+ *             to be printed.
  *
  */