add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/arch/alpha/boot/tools/objstrip.c
..
..
@@ -148,7 +148,7 @@
148
148
 #ifdef __ELF__
149
149
     elf = (struct elfhdr *) buf;
150
150
 
151
-    if (elf->e_ident[0] == 0x7f && strncmp((char *)elf->e_ident + 1, "ELF", 3) == 0) {
151
+    if (elf->e_ident[0] == 0x7f && str_has_prefix((char *)elf->e_ident + 1, "ELF")) {
152
152
 	if (elf->e_type != ET_EXEC) {
153
153
 	    fprintf(stderr, "%s: %s is not an ELF executable\n",
154
154
 		    prog_name, inname);