Fixing a bug which prevented an IRIX ELF32 kernel from being loaded (read too much at the end of the last Shdr).
Authored by: debug 2009-07-31
Parent: [r5576]
Child: [r5578]
