MIPS assembly pack: jumbo update from HEAD.