I've committed the attached patch which checks that the section table 
has been allocated in the loader before attempting to use it. This can 
happen for ports which initialize memory before the program is loaded.

Dave