BoardConfig: Add back some necessary flags
proprietary-files: Remove useless binaries