[coreboot-gerrit] Change in ...coreboot[master]: mb/{ga-g41m-es2l,d954gclf,rk886ex}: Fix devicetree