[coreboot] [PATCH] v3: Fix compilation after switch to explicit dts naming