Pic32 startup code: added reference to Boot-MIPS application note.