Drop some unncessary stale code from Makefile.boot
No longer required after 0e1e341b486cdf4769195ba1e5b3cb32e7387873.