[PATCH v1 15/26] vf500/vf610: synchronise device trees with linux