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