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