strengthen boot cfg file parser
reinstate push support in Makefile, add relevant docs