[PATCH v1 12/16] imx51: synchronise device tree with linux