Re: [PATCH] arm: Handle device tree memory regions larger than 4GB