removed proprietary-files.txt~ and updated and fixed typos in BoardConfig.mk