SRAM capacity in UP3?

Hi, The book "Rapid Prototyping of Digital Systems" mentions that UP3 board supports 128KB of SRAM memory. But in my SOPC builder when I set the SRAM size to 512 KB, the SOPC builder is able to...