Add sign-extension instructions to MoxieLite core