note about the comment above - be careful, if you do not wish to have to reflash your phone and lose user data, do not modify.
Also, the mir in rc-proposed is currently 15.1, and stable is 14.1 so loading these symbols from the zip file won't help, you would need to get the matching symbols. Lastly, for the mir symbol files, you can adb push these onto the phone and then install with dpkg -i
note about the comment above - be careful, if you do not wish to have to reflash your phone and lose user data, do not modify.
Also, the mir in rc-proposed is currently 15.1, and stable is 14.1 so loading these symbols from the zip file won't help, you would need to get the matching symbols. Lastly, for the mir symbol files, you can adb push these onto the phone and then install with dpkg -i