[LinuxBIOS] Complete and generic 32bit/64bit support

[Myles Watson]

> This needs to be added on top of your big patch to make the m57sli-s4
> build:
> 
> --- config/platforms/m57sli.conf-orig   2007-11-22 11:11:08.000000000 -
> 0500
> +++ config/platforms/m57sli.conf        2007-11-22 10:55:47.000000000 -
> 0500
> @@ -26,7 +26,7 @@
>  ifeq ($(CONFIG_TARGET_64BIT),y)
>  $(error You must specify a kernel configuration for 64 bit)
>  else
> -KERNEL_CONFIG=$(PACKAGE_DIR)/kernel/conf/m57sli-defconfig
> +KERNEL_CONFIG=$(PACKAGE_DIR)/kernel/conf/defconfig-m57sli
>  endif
> 
>  #UCLIBC_ARCH=$(TARGET_ARCH)

The same patch is needed for almost every config/platforms/*.conf because of
the decision to put defconfig first in the file names.

Myles