Index: boot/arch/ia64/src/boot.S
===================================================================
--- boot/arch/ia64/src/boot.S	(revision 0a925a87d09a85a3ec6dfd23d403711281c9d884)
+++ boot/arch/ia64/src/boot.S	(revision 6cb8dba0db19a0ab69da1cae8e595d900987c579)
@@ -51,5 +51,8 @@
 	add r12 = -16, r12
 
-	ssm (1 << 19) ;;	/* disable f32 - f127 */
+	#
+	# Disable Floating-point High register set (f32 - f127)
+	#
+	ssm (1 << 19) ;;
 	srlz.i
 	srlz.d ;;