What is the maximum size of an IOS file that could be loaded if the original IOS is also kept in flash?