Index: trunk/i386/libsaio/bootstruct.c
===================================================================
--- trunk/i386/libsaio/bootstruct.c	(revision 2636)
+++ trunk/i386/libsaio/bootstruct.c	(revision 2637)
@@ -98,7 +98,7 @@
 			stop("Couldn't create root node");
 		}
 
-		getPlatformName(platformName);
+		getPlatformName(platformName, sizeof(platformName));
 		nameLen = strlen(platformName) + 1;
 		DT__AddProperty(node, "compatible", nameLen, platformName);
 		DT__AddProperty(node, "model", nameLen, platformName);
Index: trunk/i386/libsaio/misc.c
===================================================================
--- trunk/i386/libsaio/misc.c	(revision 2636)
+++ trunk/i386/libsaio/misc.c	(revision 2637)
@@ -115,8 +115,8 @@
 //
 #ifndef BOOT1
 void
-getPlatformName(char *nameBuf)
+getPlatformName(char *nameBuf, int size)
 {
-    strcpy(nameBuf, "ACPI");
+    strlcpy(nameBuf, "ACPI", size);
 }
 #endif
Index: trunk/i386/libsaio/saio_internal.h
===================================================================
--- trunk/i386/libsaio/saio_internal.h	(revision 2636)
+++ trunk/i386/libsaio/saio_internal.h	(revision 2637)
@@ -140,7 +140,7 @@
 /* misc.c */
 extern int    checkForSupportedHardware();
 extern int	  isLaptop();
-extern void   getPlatformName(char *nameBuf);
+extern void   getPlatformName(char *nameBuf, int size);
 
 /* nbp.c */
 extern UInt32 nbpUnloadBaseCode();