Fixup drmarble device tree revision name