Fix Makefile.boot for our boards