Hmmm... I wonder if it just applies the add-on RAM to a different address? Anyway, rekicking an Amiga to a different version of kickstart will indeed take 512KB of memory as the image of the ROM you're downgrading to has to be stored in RAM. It is usually put in fast RAM...
