bare-metal/Makefile: garbage collect unused code