You need to build mavros from scratch, I use arch, I build everythings from source.
ROS is not easy to install and may have some complicated dependency, you have to install
only what you need. For RPI, whatever system you use, you can build ROS all the time, just
be aware that you need not to install the entire ROS libraries.
I would choose arch for RPI. Operating system is not that important.