[coreboot-gerrit] New patch to review for coreboot: 5639820 .gitignore: Properly ignore KDevelop files