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.