[coreboot] [PATCH] v3: update mainboard dts files to new style