Dear coreboot folks,
if you push patches please either check them manually or simply let the Git commit hooks do it for you by running `make gitconfig`. I know they take a lot of time especially when you run them the first time in a session. This will be hopefully improved soon.
Thanks,
Paul