Ah...natürlich, mein Fehler. 4kByte kommen natürlich vom internen SRAM:
512kByte - 60kByte = 452kByte unbenutzt