Re: [PATCH] board: rpi: Update memory layout for Aarch64