Fix 0x480000 - 0x4FFFFF range to the top 512KiB of SDRAM