The only place I see that mentions 16 KB is the instruction cache on the S7 monitor core. Apart from cache, it doesn't look like any of these include RAM.
That's fairly standard. The problem there is going to be attaching ddr3 modules to a board. BGA is a pain in the ass for anything past 10x10 using a toaster oven. And for doing it "right" you really need xray QA.