* Patches by David Müller, 14 Nov 2003:
  - board/mpl/common/common_util.c
    * implement support for BZIP2 compressed images
    * various cleanups (printf -> puts, ...)
  - board/mpl/common/flash.c
    * report correct errors to upper layers
    * check the erase fail and VPP low bits in status reg
  - board/mpl/vcma9/cmd_vcma9.c
  - board/mpl/vcma9/flash.c
    * various cleanups (printf -> puts, ...)
  - common/cmd_usb.c
    * fix typo in comment
  - cpu/arm920t/usb_ohci.c
    * support for S3C2410 is missing in #if line
  - drivers/cs8900.c
    * reinit some registers in case of error (cable missing, ...)
  - fs/fat/fat.c
    * support for USB/MMC devices is missing in #if line
  - include/configs/MIP405.h
  - include/configs/PIP405.h
    * enable BZIP2 support
    * enlarge malloc space to 1MiB because of BZIP2 support
  - include/configs/VCMA9.h
    * enable BZIP2 support
    * enlarge malloc space to 1MiB because of BZIP2 support
    * enable USB support
  - lib_arm/armlinux.c
    * change calling convention of ARM Linux kernel as
      described on http://www.arm.linux.org.uk/developer/booting.php

* Patch by Thomas Lange, 14 Nov 2003:
  Split dbau1x00 into dbau1000, dbau1100 and dbau1500 configs to
  support all these AMD boards.

* Patch by Thomas Lange, 14 Nov 2003:
  Workaround for mips au1x00 physical memory accesses (the au1x00
  uses a 36 bit bus internally and cannot access physical memory
  directly. Use the uncached SDRAM address instead of the physical
  one.)
diff --git a/lib_arm/armlinux.c b/lib_arm/armlinux.c
index 0b3d01e..19680b5 100644
--- a/lib_arm/armlinux.c
+++ b/lib_arm/armlinux.c
@@ -83,7 +83,7 @@
 	ulong len = 0, checksum;
 	ulong initrd_start, initrd_end;
 	ulong data;
-	void (*theKernel) (int zero, int arch);
+	void (*theKernel)(int zero, int arch, uint params);
 	image_header_t *hdr = &header;
 	bd_t *bd = gd->bd;
 
@@ -91,7 +91,7 @@
 	char *commandline = getenv ("bootargs");
 #endif
 
-	theKernel = (void (*)(int, int)) ntohl (hdr->ih_ep);
+	theKernel = (void (*)(int, int, uint))ntohl(hdr->ih_ep);
 
 	/*
 	 * Check if there is an initrd image
@@ -244,7 +244,7 @@
 
 	cleanup_before_linux ();
 
-	theKernel (0, bd->bi_arch_number);
+	theKernel (0, bd->bi_arch_number, bd->bi_boot_params);
 }