# script is what the kernel executes at boot time. There is also an
# /sbin/init script that belongs to the installer software which
# however implements some other assumptions about the boot-up.
-cp initrd-init $INITRD/init
+INIT=initrd-init-$ARCH
+[ -r "$INIT" ] || INIT=initrd-init
+[ -r $INITRD/init ] || cp $INIT $INITRD/init
######################################################################
# Set up package pool media. This will populate $MEDIA/pool/* with deb