[coreboot] Thoughts on changing indentation for devicetree.cb files