Re: [coreboot] patch: allow dts names to end in .dts