ARM: remove obsolete Makefile.boot infrastructure