Как я понял, если просто '00' на '08' заменить, то li на move изменится, а если как там написано, то:
Выглядит правильно? 'li a0,0x8' мы в итоге имеем и 'li a1,0x1'
В ELF получается
Offset 0xC870: 25200000 --> 08000424
Offset 0xC878: 25280000 --> 01000524
Проверить возможности нет.