Linting src/flash/