some performance boost for reading DoC

src/lib/newpci.c

@@ -10,7 +10,10 @@
  * it with multiple passes, until I actually started doing it and saw
  * the wisdom of Tom's recommendations ...
  */
-/* single-pass allocation appears to be the way to go.  */
+#ifndef lint
+static char rcsid[] = "$Id$";
+#endif
+
 #include <pci.h>
 #undef __KERNEL__
 #include <cpu/p5/io.h>
@@ -27,10 +30,6 @@
 #define PCI_MEM_START 0x80000000
 #define PCI_IO_START 0x1000
 
-#ifndef lint
-static char rcsid[] = "$Id$";
-#endif
-
 // historical functions, sometimes very useful. 
 /*
  *    Write the special configuration registers on the INTEL

src/northsouthbridge/sis/630/ipl.S

@@ -257,11 +257,11 @@ doc_delay:
 	jz	wait_for_flash_ready
 
 	movb	0x1d(%di), %al			# init read pipeline
-	movw	$0x200, %cx			# 1 page = 512 bytes
+	movw	$0x100, %cx			# 1 page = 512 bytes
 	movw	$0x800, %si			# point %si to CDSN Data area
 	movw	%dx, %di			# restore saved current destination
 	rep
-	movsb
+	movsw
 
 	movw	%di, %dx			# save current destination
 	incw	%bp				# increse current page number