--- src/sys/boot/efi/libefi/devicename.c	2007/06/17 23:50:15	1.2
+++ src/sys/boot/efi/libefi/devicename.c	2007/06/18 05:13:41	1.3
@@ -133,7 +133,7 @@ efi_parsedev(struct efi_devdesc **dev, c
 			}
 			if (*cp && (*cp != ':')) {
 				partition = *cp - 'a';		/* get a partition number */
-				if ((partition < 0) || (partition >= MAXPARTITIONS)) {
+				if ((partition < 0) || (partition >= MAXPARTITIONS32)) {
 					err = EPART;
 					goto fail;
 				}