Fix 0x400000 - 0x47FFFF range to the top 512KiB of SDRAM