fix bootcore

main.cpp

@@ -31,7 +31,6 @@ along with this program.  If not, see <http://www.gnu.org/licenses/>.
 #include "input.h"
 #include "fpga_io.h"
 #include "scheduler.h"
-#include "bootcore.h"
 
 const char *version = "$VER:HPS" VDATE;
 
@@ -65,8 +64,7 @@ int main(int argc, char *argv[])
 		exit(0);
 	}
 
-	FindStorage();
-	bootcore_init(argc > 1 ? argv[1] : "");		
+	FindStorage();	
 	user_io_init((argc > 1) ? argv[1] : "");
 
 	scheduler_init();