[coreboot-gerrit] Change in coreboot[master]: mb/*/*/Kconfig: Don't specify devicetree path if default val used