add redboot to rc.d/MAIN

diff -r ee3d429e07f9 profiles/SMALL_/files/etc/rc.d/MAIN
--- a/profiles/SMALL_/files/etc/rc.d/MAIN	Sat Nov 26 20:40:57 2011 +0200
+++ b/profiles/SMALL_/files/etc/rc.d/MAIN	Tue Nov 29 11:47:43 2011 +0200
@@ -37,6 +37,11 @@
 	if [ -c /dev/map/config ]; then
 		dd if=/dev/map/config of=/tmp/etc.tar.gz;
 		cd /tmp/ && tar xvzf /tmp/etc.tar.gz
+	else
+		if [ -c /dev/redboot/config ]; then
+			dd if=/dev/redboot/config of=/tmp/etc.tar.gz;
+			cd /tmp/ && tar xvzf /tmp/etc.tar.gz
+		fi
 	fi

 	kldload ipfw