Re: [PATCH] ARM: dts: ux500: Reserve memory carveouts