Nah, I tried to figure out how much code that really is need to make a really basic Amiga system run. But was uncertain how much that were needed from the system disk. Seems the answer is more or less 300 kB in total to run OS + GUI and some basic program. The above utilities seems not to be much else than calls to the system ROM. This is of course than way less than the 1024 kB flash that many single chip microcontrollers have nowadays.
And it's little hard to access "a real" computer right now. Otherwise I would have installed and fired up the appropriate software to figure it out.
(I find the complete-system-in-256MB feat amazing even today)