After looking at the chip dumps carefully, I realised the code only uses 128KB. Larger chips all have that 128KB copied on the empty areas. The DSP chip they’re connected to (DSP56301AG100) accepts a variety of sizes so I guess the manufacturer installed what they had available at that time.