It appears to be a common theme that aveos have a brake light switch problems. If u experience non working brake lights buy BWD 2067 part(warning - dont buy ac/delco part! it’s too short!). . and watch this:
https://m.youtube.com/watch?v=Li8Ug18hRek