Update Makefile.boot