[coreboot] Patch merged into master: fc9dd35 Fix lint-002-build-dir-handling